6.3  Global Constraints

A number of global constraints are available which directly correspond (and are in fact implemented via) their counterparts in lib(ic_global):

alldifferent(+List)

All list elements are different

occurrences(++Value,+List,?N)

Value occurs N times in List

atmost(++N,+List,++Value)

Value occurs at most N times in List