diff options
Diffstat (limited to 'src/prop/sat_solver_factory.h')
-rw-r--r-- | src/prop/sat_solver_factory.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h index 09d66b8d4..367397fdf 100644 --- a/src/prop/sat_solver_factory.h +++ b/src/prop/sat_solver_factory.h @@ -20,6 +20,8 @@ #include "cvc4_public.h" +#include <string> +#include <vector> #include "prop/sat_solver.h" namespace CVC4 { @@ -27,8 +29,15 @@ namespace prop { class SatSolverFactory { public: + static BVSatSolverInterface* createMinisat(); static DPLLSatSolverInterface* createDPLLMinisat(); + + static SatSolver* create(const char* id); + + /** Get the solver ids that are available */ + static void getSolverIds(std::vector<std::string>& solvers); + }; } |