23#include "prop/sat_solver.h"
31 static BVSatSolverInterface*
createMinisat(context::Context* mainSatContext,
const std::string& name =
"");
34 static SatSolver*
create(
const char*
id);
static void getSolverIds(std::vector< std::string > &solvers)
Get the solver ids that are available.
static SatSolver * create(const char *id)
static BVSatSolverInterface * createMinisat(context::Context *mainSatContext, const std::string &name="")
static DPLLSatSolverInterface * createDPLLMinisat()
Macros that should be defined everywhere during the building of the libraries and driver binary,...