dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_roots.mzn
at develop 318 B view raw
1predicate fzn_roots(array[int] of var int: x, var set of int: s, 2 var set of int: t) = 3 % All values in 's' must map to a value in 't'. 4 forall(i in ub(s)) ( 5 i in s -> x[i] in t 6 ) /\ 7 forall(i in ub(t)) ( 8 i in t -> forall(j in index_set(x)) (x[j] = i -> j in s ) 9 );