# Global Cardinality constraint

This is a global constraint that is specified on $LaTeX: n$ assignment variables $LaTeX: \langle x_1 \dots x_n \rangle$ and $LaTeX: n^{'}$ count variables $LaTeX: \langle c_{v1} \dots c_{vn^{'}} \rangle$, and enforces that each value $LaTeX: v_i$ is assigned to exactly $LaTeX: c_{vi}$ of the assignment variables, $LaTeX: x_j$. The global cardinality constraint $LaTeX: gcc(x_1\dots x_n), c_{v1} \dots c_{vn^{'}})$ is a generalization of the all different constraint which requires that every value is assigned to at most one variable.