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