
alldifferent(+Vars)

   Constrains all elements of a list to be pairwise different.

Arguments
   Vars                A list of integer IC variables or integers

Type
   library(ic)

Description

   Constrains all elements of a list to be pairwise different (and
   integral).  Effectively imposes #\= constraints on every pair of
   elements from Vars.


See Also
   #\= / 2, fd : alldifferent / 1, fd_global : alldifferent / 1, ic_global : alldifferent / 1
