< 3.7.11. Arc-consistency|3.7.13. Array constraint >

3.7.12. Arithmetic constraint

• distance,

• eq,

• eq_cst

• gcd,

• geq,

• geq_cst,

• gt,

• leq,

• leq_cst,

• lt,

• neq,

• neq_cst,

• power,

• product_ctr,

• range_ctr,

• scalar_product,

• sum_ctr,

• sum_set.

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 sum_ctr constraint is used within the definition of the cumulative constraint.