cvc4-1.4
sat_solver_factory.h
Go to the documentation of this file.
1 /********************* */
17 #pragma once
18 
19 #include "cvc4_public.h"
20 
21 #include <string>
22 #include <vector>
23 #include "prop/sat_solver.h"
24 
25 namespace CVC4 {
26 namespace prop {
27 
29 public:
30 
31  static BVSatSolverInterface* createMinisat(context::Context* mainSatContext, const std::string& name = "");
32  static DPLLSatSolverInterface* createDPLLMinisat();
33 
34  static SatSolver* create(const char* id);
35 
37  static void getSolverIds(std::vector<std::string>& solvers);
38 
39 };
40 
41 }
42 }
43 
44 
45 
Definition: kind.h:57
static SatSolver * create(const char *id)
Macros that should be defined everywhere during the building of the libraries and driver binary...
static BVSatSolverInterface * createMinisat(context::Context *mainSatContext, const std::string &name="")
void * Context
static DPLLSatSolverInterface * createDPLLMinisat()
static void getSolverIds(std::vector< std::string > &solvers)
Get the solver ids that are available.