cvc4-1.4
sat_solver_factory.h
Go to the documentation of this file.
1/********************* */
17#pragma once
18
19#include "cvc4_public.h"
20
21#include <string>
22#include <vector>
23#include "prop/sat_solver.h"
24
25namespace CVC4 {
26namespace prop {
27
29public:
30
31 static BVSatSolverInterface* createMinisat(context::Context* mainSatContext, const std::string& name = "");
32 static DPLLSatSolverInterface* createDPLLMinisat();
33
34 static SatSolver* create(const char* id);
35
37 static void getSolverIds(std::vector<std::string>& solvers);
38
39};
40
41}
42}
43
44
45
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,...
Definition expr.h:106