Deepsolver
Public Member Functions
Deepsolver::Solver::Solver Class Reference
Inheritance diagram for Deepsolver::Solver::Solver:
Deepsolver::AbstractTaskSolver

List of all members.

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)