this repo has no description
dekker.one
1predicate geas_cumulative_var(array[int] of var int: s,
2 array[int] of var int: d,
3 array[int] of var int: r,
4 var int: b);
5predicate geas_cumulative(array[int] of var int: s,
6 array[int] of int: d,
7 array[int] of int: r,
8 int: b);
9
10
11predicate fzn_cumulative(array[int] of var int: s,
12 array[int] of var int: d,
13 array[int] of var int: r,
14 var int: b) =
15 geas_cumulative_var(s, d, r, b);
16
17%% TODO: once disjunctive propagator is fixed, add
18%% special case for b = 1.
19predicate fzn_cumulative(array[int] of var int: s,
20 array[int] of int: d,
21 array[int] of int: r,
22 int: b) =
23 geas_cumulative(s, d, r, b);