 
 
 
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
 
 
