# Atleast constraint

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 [/itex]n[/itex] times among the variables $LaTeX: \langle x_1, \dots, x_m \rangle$.