diff options
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 e37031314..00918f62f 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() |