this repo has no description
dekker.one
1predicate fzn_seq_precede_chain_int(array[int] of var int: X) =
2 let {
3 int : l = lb_array (X) ; % least possible value
4 int : u = ub_array (X) ; % greatest possible value
5 int : f = min ( index_set (X ));
6 array [ index_set (X) ] of var l .. u: H;
7 } in
8 H[f] <= 1 /\ H[f] = max (X[f], 0) /\
9 forall ( i in index_set ( X) diff {f} ) (
10 H[i] <= H[i-1] + 1 /\ H[i] = max (X[i], H[i-1])
11 );