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.