ProvenanceKind

class ProvenanceKind

Kind of constraint from which a regular Constraint was generated.

See Provenance for details.

IndicatorConstraint

The regular constraint was generated from an indicator constraint.

OneHotConstraint

The regular constraint was generated from a one-hot constraint.

Sos1Constraint

The regular constraint was generated from a SOS1 constraint.