
all_different(+Vars)

   

Type
   library(clpfd)

See Also
   ic : alldifferent / 1
