dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_symmetric_all_different.mzn
at develop 188 B view raw
1include "all_different.mzn"; 2 3predicate fzn_symmetric_all_different(array[int] of var int:x) = 4 all_different(x) 5 /\ forall(i, j in index_set(x) where i!=j) (x[i] = j -> x[j] = i);