all_different/1

Availability::- use_module(library(clpfd)).

all_different(+Vars)

Like all_distinct/1, but with weaker propagation. Consider using all_distinct/1 instead, since all_distinct/1 is typically acceptably efficient and propagates much more strongly.