dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / inverse_es.mzn
at develop 292 B view raw
1predicate inverse(array[int] of var int: f, 2 array[int] of var int: invf) = 3 forall(j in index_set(invf))(invf[j] in index_set(f)) /\ 4 forall(i in index_set(f))( 5 f[i] in index_set(invf) /\ 6 forall(j in index_set(invf))(j == f[i] <-> i == invf[j]) 7 );