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