From 2591fc4f57030b31c2c49d5c2dae9e96d3ce3afa Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Tue, 24 May 2016 22:30:41 -0700 Subject: Merged cryptominisat from experimental branch. --- src/prop/sat_solver_factory.cpp | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/prop/sat_solver_factory.cpp') diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp index 092ec72f2..7fdc44e66 100644 --- a/src/prop/sat_solver_factory.cpp +++ b/src/prop/sat_solver_factory.cpp @@ -16,6 +16,7 @@ #include "prop/sat_solver_factory.h" +#include "prop/cryptominisat.h" #include "prop/minisat/minisat.h" #include "prop/bvminisat/bvminisat.h" @@ -26,6 +27,12 @@ BVSatSolverInterface* SatSolverFactory::createMinisat(context::Context* mainSatC return new BVMinisatSatSolver(registry, mainSatContext, name); } +SatSolver* SatSolverFactory::createCryptoMinisat(StatisticsRegistry* registry, + const std::string& name) { +return new CryptoMinisatSolver(registry, name); +} + + DPLLSatSolverInterface* SatSolverFactory::createDPLLMinisat(StatisticsRegistry* registry) { return new MinisatSatSolver(registry); } -- cgit v1.2.3