[
library(clpfd)
|
Reference Manual
|
Alphabetic Index
]
all_distinct(+Vars)
See Also
ic_global : alldifferent / 1