Discrete constraints

A property is considered as discrete if the property reference is preceding with the type of discrete constraint.

Note: Discrete constraints have a negative impact on solver performance.

These discrete constraint types can be indicated for a property within the optimization definition:

  • Multiple
  • Threshold

These discrete constraints can be defined in the model using the property definition:

  • Boolean: Posted property definitions containing a BOOL function with arguments posted as a discrete boolean constraint.
  • Minimum: Posted property definitions containing a MIN function with arguments posted as a discrete minimum constraint.
  • Maximum: Posted property definitions containing a MAX function arguments posted as a discrete maximum constraint.