cvc4-1.4
CVC4::prop::SatSolverFactory Class Reference

#include <sat_solver_factory.h>

Static Public Member Functions

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. More...
 

Detailed Description

Definition at line 28 of file sat_solver_factory.h.

Member Function Documentation

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,
const std::string &  name = "" 
)
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: