23 #include "prop/sat_solver.h"
34 static SatSolver*
create(
const char*
id);
37 static void getSolverIds(std::vector<std::string>& solvers);
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="")
static DPLLSatSolverInterface * createDPLLMinisat()
static void getSolverIds(std::vector< std::string > &solvers)
Get the solver ids that are available.