### 3.7.19. At most

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