Atleast constraint

From Glossary

Jump to: navigation, search

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

See also atmost constraint.

Personal tools