Deepsolver
Public Types | Public Member Functions
Deepsolver::AbstractSatSolver Class Reference

List of all members.

Public Types

typedef std::map< VarId, bool > VarIdToBoolMap

Public Member Functions

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