Inheritance diagram for Deepsolver::Solver::Solver:
Public Member Functions | |
| void | dumpSat (const UserTask &userTask, std::ostream &s) const |
| void | solve (const UserTask &userTask, VarIdVector &install, VarIdVector &remove) const override |
| Solver (const TaskSolverData &taskSolverData) | |
