# Atmost constraint

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$.