From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 5 Mar 2014 18:57:10 +0000 (+0100)
Subject: Switched to EZMINISAT_SIMPSOLVER as default SAT solver
X-Git-Tag: yosys-0.3.0~91
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34;p=yosys.git

Switched to EZMINISAT_SIMPSOLVER as default SAT solver
---

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