3.7.67. Counting constraint

A constraint restricting the number of occurrences of some values (respectively some pairs of values) within a given collection of domain variables (respectively pairs of domain variables).