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