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

List of all members.

Public Member Functions

std::string constructSat (const UserTask &task)
 GeneralSolver (TaskSolverData &data)
void solve (const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)