1 files changed, 11 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 2674d83df..2d0307d51 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -69,6 +69,9 @@ private:
 	int bind_cnf_or(const std::vector<int> &args);
 
 public:
+	int solverTimeout;
+	bool solverTimoutStatus;
+
 	ezSAT();
 	virtual ~ezSAT();
 
@@ -130,6 +133,14 @@ public:
 		return solver(modelExpressions, modelValues, assumptions);
 	}
 
+	void setSolverTimeout(int newTimeoutSeconds) {
+		solverTimeout = newTimeoutSeconds;
+	}
+
+	bool getSolverTimoutStatus() {
+		return solverTimoutStatus;
+	}
+
 	// manage CNF (usually only accessed by SAT solvers)
 
 	virtual void clear();