Deepsolver
|
Public Types | |
typedef std::shared_ptr < AbstractSatSolver > | Ptr |
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 |