5 lines
113 B
MiniZinc
5 lines
113 B
MiniZinc
predicate all_different(array[int] of var int: x) =
|
|
forall(i,j in index_set(x) where i < j)(
|
|
x[i] != x[j]
|
|
);
|