diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-02-22 01:29:02 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-02-22 01:29:02 +0100 |
commit | 1ec01d8c637e611eddd16a492d1eb0f652b95da0 (patch) | |
tree | 32a63ffa5e929b27d5ef7ec6336bbc349ee0ffc2 /libs/ezsat/ezminisat.cc | |
parent | 8b508dc90b87c99e13f1fa9f8e79e48c7fa52e90 (diff) |
Made MiniSat solver backend configurable in ezminisat.h
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
-rw-r--r-- | libs/ezsat/ezminisat.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index d545834c..4d3301c4 100644 --- a/libs/ezsat/ezminisat.cc +++ b/libs/ezsat/ezminisat.cc @@ -29,6 +29,7 @@ #include <cinttypes> #include <minisat/core/Solver.h> +#include <minisat/simp/SimpSolver.h> ezMiniSAT::ezMiniSAT() : minisatSolver(NULL) { @@ -90,8 +91,10 @@ contradiction: for (auto id : modelExpressions) modelIdx.push_back(bind(id)); - if (minisatSolver == NULL) - minisatSolver = new Minisat::Solver; + if (minisatSolver == NULL) { + minisatSolver = new EZMINISAT_SOLVER; + minisatSolver->verbosity = EZMINISAT_VERBOSITY; + } std::vector<std::vector<int>> cnf; consumeCnf(cnf); |