summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-22 01:29:02 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-22 01:29:02 +0100
commit1ec01d8c637e611eddd16a492d1eb0f652b95da0 (patch)
tree32a63ffa5e929b27d5ef7ec6336bbc349ee0ffc2 /libs/ezsat/ezminisat.h
parent8b508dc90b87c99e13f1fa9f8e79e48c7fa52e90 (diff)
Made MiniSat solver backend configurable in ezminisat.h
Diffstat (limited to 'libs/ezsat/ezminisat.h')
-rw-r--r--libs/ezsat/ezminisat.h6
1 files changed, 5 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index 2919aa2e..04a010d6 100644
--- a/libs/ezsat/ezminisat.h
+++ b/libs/ezsat/ezminisat.h
@@ -20,6 +20,9 @@
#ifndef EZMINISAT_H
#define EZMINISAT_H
+#define EZMINISAT_SOLVER Minisat::Solver
+#define EZMINISAT_VERBOSITY 0
+
#include "ezsat.h"
#include <time.h>
@@ -28,12 +31,13 @@
// don't force ezSAT users to use minisat headers..
namespace Minisat {
class Solver;
+ class SimpSolver;
}
class ezMiniSAT : public ezSAT
{
private:
- Minisat::Solver *minisatSolver;
+ EZMINISAT_SOLVER *minisatSolver;
std::vector<int> minisatVars;
bool foundContradiction;