diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-05 19:57:10 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-05 19:57:10 +0100 |
| commit | b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34 (patch) | |
| tree | bf8cc4dcca45004e68f31ce3fcd93fb20e98b236 /libs/ezsat | |
| parent | 09805ee9ec0408bdc68b914927899f02371efcb7 (diff) | |
| download | yosys-b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34.tar.gz yosys-b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34.tar.bz2 yosys-b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34.zip | |
Switched to EZMINISAT_SIMPSOLVER as default SAT solver
Diffstat (limited to 'libs/ezsat')
| -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 |