ru.ispras.fortress.solver.constraint

Enum ConstraintKind