ru.ispras.fortress.solver
Interfaces
Solver
Classes
Environment
SolverBase
SolverOperation
SolverResult
SolverResultBuilder
Enums
SolverId
SolverOperation.Kind
SolverResult.Status