[ library(clpfd) | Reference Manual | Alphabetic Index ]

all_distinct(+Vars)

See Also

ic_global : alldifferent / 1