Deepsolver
Public Member Functions
LibMinisatSolver Class Reference
Inheritance diagram for LibMinisatSolver:
AbstractSatSolver

List of all members.

Public Member Functions

void addClause (const Clause &clause)
void reset ()
bool solve (const VarIdToBoolMap &assumptions, VarIdToBoolMap &res, VarIdVector &conflicts)