### 3.7.19. At least

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