#include <sat_solver_factory.h>
Definition at line 28 of file sat_solver_factory.h.
static SatSolver* CVC4::prop::SatSolverFactory::create |
( |
const char * |
id | ) |
|
|
static |
static DPLLSatSolverInterface* CVC4::prop::SatSolverFactory::createDPLLMinisat |
( |
| ) |
|
|
static |
static BVSatSolverInterface* CVC4::prop::SatSolverFactory::createMinisat |
( |
context::Context * |
mainSatContext | ) |
|
|
static |
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: