diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-06-20 12:49:10 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-06-20 12:49:10 +0200 |
commit | 8fbb5b62400edf82f6719eda90a75730d467db83 (patch) | |
tree | 5f11874a9ffcb1553cca9a1de0d2a2234aa01ea5 /libs/ezsat/ezsat.cc | |
parent | 21e38bed98d3d6bc4ae5833f6f609ac8f12d6361 (diff) |
Added timout functionality to SAT solver
Diffstat (limited to 'libs/ezsat/ezsat.cc')
-rw-r--r-- | libs/ezsat/ezsat.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index e3703131..00918f62 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -38,6 +38,9 @@ ezSAT::ezSAT() cnfConsumed = false; cnfVariableCount = 0; cnfClausesCount = 0; + + solverTimeout = 0; + solverTimoutStatus = false; } ezSAT::~ezSAT() |