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