ru.ispras.fortress.solver

Enum SolverResult.Status