Deepsolver
|
Public Types | |
typedef std::shared_ptr < AbstractTaskSolver > | Ptr |
Public Member Functions | |
virtual void | dumpSat (const UserTask &userTask, std::ostream &s) const =0 |
virtual void | solve (const UserTask &userTask, VarIdVector &install, VarIdVector &remove) const =0 |