Deepsolver
|
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) |