Atmost constraint

From Glossary

Jump to: navigation, search

is a global constraint that states the maximum number of occurrences of a particular value among an array/set of variables. Typically it is written as atmost(LaTeX: n, LaTeX: \langle x_1, \dots, x_m \range, LaTeX: v), which is true if value LaTeX: v is assigned at most LaTeX: n times among the variables LaTeX: \langle x_1, \dots, x_m \rangle.

See also the atmost1 constraint and the atleast constraint.

Personal tools