this repo has no description
dekker.one
1include "arg_max.mzn";
2
3predicate fzn_writes_seq(array[int] of var int: I, array[int] of var int: P,
4 array[int] of var int: V, array[int] of var int: O) =
5 forall (i in index_set(I)) (
6 let {
7 array[1..length(V)+1] of var int: Vi = array1d(1..length(V)+1, reverse(V) ++ [I[i]]);
8 array[1..length(V)+1] of var bool: Pi = array1d(1..length(V)+1, reverse([P[j] == i | j in index_set(V)]) ++ [true]);
9 } in O[i] = Vi[arg_max(Pi)]
10 );
11
12%-----------------------------------------------------------------------------%