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