diff options
| author | lianah <lianahady@gmail.com> | 2014-06-10 13:48:45 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-10 13:48:45 -0400 |
| commit | 5f072a19d299191dbedc4b69c8e0eda694cfa957 (patch) | |
| tree | 0ebfc27bd05d06b0cdb2fc0813b7d5649d36aee4 /src/prop/sat_solver_factory.cpp | |
| parent | db51926b5ce806754fc26c81b1b7d3e739fc4fc5 (diff) | |
Merging CAV14 paper bit-vector work.
Diffstat (limited to 'src/prop/sat_solver_factory.cpp')
| -rw-r--r-- | src/prop/sat_solver_factory.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp index 6cda02c00..e937c718c 100644 --- a/src/prop/sat_solver_factory.cpp +++ b/src/prop/sat_solver_factory.cpp @@ -25,8 +25,8 @@ namespace prop { template class SatSolverConstructor<MinisatSatSolver>; template class SatSolverConstructor<BVMinisatSatSolver>; -BVSatSolverInterface* SatSolverFactory::createMinisat(context::Context* mainSatContext) { - return new BVMinisatSatSolver(mainSatContext); +BVSatSolverInterface* SatSolverFactory::createMinisat(context::Context* mainSatContext, const std::string& name) { + return new BVMinisatSatSolver(mainSatContext, name); } DPLLSatSolverInterface* SatSolverFactory::createDPLLMinisat() { |