Deepsolver
Public Member Functions
SatWriter Class Reference
Inheritance diagram for SatWriter:
AbstractTaskTranslatorOutput

List of all members.

Public Member Functions

std::string generateSat (const UserTask &task)
 SatWriter (const TaskSolverData &data)