ru.ispras.microtesk.basis.solver

Enum SolverResult.Status