Deepsolver
Public Member Functions
Deepsolver::Sat::MinisatSolver Class Reference
Inheritance diagram for Deepsolver::Sat::MinisatSolver:
Deepsolver::Sat::AbstractSatSolver

List of all members.

Public Member Functions

void addClause (const Clause &clause) override
 MinisatSolver ()
 The default constructor.
void reset () override
bool solve (VarIdToBoolMap &res, VarIdVector &conflicts) override
virtual ~MinisatSolver ()
 The destructor.