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);
+
 };
 
 }