#include <sat_solver_factory.h>
|
static BVSatSolverInterface * | createMinisat (context::Context *mainSatContext, const std::string &name="") |
|
static DPLLSatSolverInterface * | createDPLLMinisat () |
|
static SatSolver * | create (const char *id) |
|
static void | getSolverIds (std::vector< std::string > &solvers) |
| Get the solver ids that are available.
|
|
Definition at line 28 of file sat_solver_factory.h.
◆ create()
static SatSolver * CVC4::prop::SatSolverFactory::create |
( |
const char * | id | ) |
|
|
static |
◆ createDPLLMinisat()
static DPLLSatSolverInterface * CVC4::prop::SatSolverFactory::createDPLLMinisat |
( |
| ) |
|
|
static |
◆ createMinisat()
static BVSatSolverInterface * CVC4::prop::SatSolverFactory::createMinisat |
( |
context::Context * | mainSatContext, |
|
|
const std::string & | name = "" ) |
|
static |
◆ getSolverIds()
static void CVC4::prop::SatSolverFactory::getSolverIds |
( |
std::vector< std::string > & | solvers | ) |
|
|
static |
Get the solver ids that are available.
The documentation for this class was generated from the following file: