summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-12 10:17:51 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-12 10:17:51 +0100
commit94c1307c262e4b14f4a91b1bbcf9099ee6202bab (patch)
treeaae192666509ba533b9a9640679a55b002cd869d /libs/ezsat/ezminisat.cc
parent9087ece97c20d76359fb23cfd7a0f13552c1f2fd (diff)
Added libs/minisat (copy of minisat git master)
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
-rw-r--r--libs/ezsat/ezminisat.cc9
1 files changed, 7 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 4677f68b..caee73f8 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -28,8 +28,13 @@
#include <csignal>
#include <cinttypes>
-#include <minisat/core/Solver.h>
-#include <minisat/simp/SimpSolver.h>
+#ifdef _YOSYS_
+# include "libs/minisat/Solver.h"
+# include "libs/minisat/SimpSolver.h"
+#else
+# include <minisat/core/Solver.h>
+# include <minisat/simp/SimpSolver.h>
+#endif
ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
{