SpecialConstraintKind

class SpecialConstraintKind

Kind of active special constraint in an instance.

Use these values with active_special_constraint_kinds to inspect an instance and lower_special_constraints() to select special constraint families for explicit lowering to regular constraints. This is a transformation selector, not an adapter input declaration or an ommx.v2.Feature wire-format requirement.

Indicator

Indicator constraints: binvar = 1 → f(x) <= 0

OneHot

One-hot constraints: exactly one of a set of binary variables must be 1

Sos1

SOS1 constraints: at most one of a set of variables can be non-zero