ru.ispras.microtesk.basis.solver
Interfaces
Solver
Classes
SolverResult
Enums
Solver.Mode
SolverResult.Status