software/mza/share/minizinc/std/fzn_writes_reif.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / share / minizinc / std / fzn_writes_reif.mzn

at develop 489 B view raw

 1predicate fzn_writes_reif(array[int] of var int: I, array[int] of var int: P,
 2                          array[int] of var int: V, array[int] of var int: O,
 3                          var bool: b) =
 4    b <-> (
 5      forall(j in index_set(P))(O[P[j]] = V[j]) /\
 6      forall(i in index_set(I))
 7          (if forall(j in index_set(P))(P[j] != i) then
 8              O[i] = I[i]
 9          else true endif)
10    );
11
12%-----------------------------------------------------------------------------%