this repo has no description
dekker.one
1predicate fzn_writes(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 forall(j in index_set(P))(O[P[j]] = V[j]) /\
4 forall(i in index_set(I))
5 (if forall(j in index_set(P))(P[j] != i) then
6 O[i] = I[i]
7 else true endif);
8
9%-----------------------------------------------------------------------------%