projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 09805ee)
Switched to EZMINISAT_SIMPSOLVER as default SAT solver
authorClifford Wolf <clifford@clifford.at>
Wed, 5 Mar 2014 18:57:10 +0000 (19:57 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 5 Mar 2014 18:57:10 +0000 (19:57 +0100)
libs/ezsat/ezminisat.h patch | blob | history

diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index c634e66e73be144ee590d0a20879df08f64df2cb..ac9c071c36bc25c1b81e041fcbddc09b02347b74 100644 (file)
--- 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