summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
diff options
context:
space:
mode:
Diffstat (limited to 'libs/ezsat/ezminisat.h')
-rw-r--r--libs/ezsat/ezminisat.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index 04a010d6..59fa2134 100644
--- a/libs/ezsat/ezminisat.h
+++ b/libs/ezsat/ezminisat.h
@@ -22,6 +22,7 @@
#define EZMINISAT_SOLVER Minisat::Solver
#define EZMINISAT_VERBOSITY 0
+#define EZMINISAT_INCREMENTAL 1
#include "ezsat.h"
#include <time.h>