Deepsolver::Sat::MinisatSolver Class Reference

Inheritance diagram for Deepsolver::Sat::MinisatSolver:

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.