this repo has no description
dekker.one
1include "fzn_sliding_sum.mzn";
2include "fzn_sliding_sum_reif.mzn";
3
4/** @group globals
5 Requires that in each subsequence \a vs[\p i], ..., \a vs[\p i + \a seq - 1] the sum of the
6 values belongs to the interval [\a low, \a up].
7*/
8predicate sliding_sum(int: low, int: up, int: seq, array[int] of var int: vs) =
9 fzn_sliding_sum(low, up, seq, vs);