3.7.13. Arithmetic constraint
An arithmetic constraint between two or three variables or an arithmetic constraint involving a sum, a product, or a difference between a maximum and a minimum value. The non binary constraints were introduced within the catalogue since they are required for defining a given global constraint. For instance the constraint is used within the definition of the constraint.