3.7.18. At least

A constraint enforcing that one or several values occur a minimum number of time within a given collection of domain variables.