diff options
| -rw-r--r-- | libs/ezsat/ezminisat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h index c634e66e7..ac9c071c3 100644 --- a/libs/ezsat/ezminisat.h +++ b/libs/ezsat/ezminisat.h @@ -20,7 +20,7 @@ #ifndef EZMINISAT_H #define EZMINISAT_H -#define EZMINISAT_SIMPSOLVER 0 +#define EZMINISAT_SIMPSOLVER 1 #define EZMINISAT_VERBOSITY 0 #define EZMINISAT_INCREMENTAL 1 |