this repo has no description
dekker.one
1include "fzn_seq_precede_chain_int.mzn";
2include "fzn_seq_precede_chain_int_reif.mzn";
3include "fzn_seq_precede_chain_set.mzn";
4include "fzn_seq_precede_chain_set_reif.mzn";
5
6/** @group globals.lexicographic
7 Requires that \a i precedes \a i+1 in the array \a x for all positive \a i.
8*/
9predicate seq_precede_chain(array[int] of var int: x) =
10 fzn_seq_precede_chain_int(x);
11
12/** @group globals.lexicographic
13 Requires that \a i appears in a set in array \a x before \a i+1 for all positive \a i
14*/
15predicate seq_precede_chain(array[int] of var set of int: x) =
16 fzn_seq_precede_chain_set(x);