this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 solution: !Solution
5 xs: [3, 3, 3, 3, 3]
6 y: 15
7***/
8include "increasing.mzn";
9
10function int: partial_bound(array[int] of var int: xs) = let {
11 constraint increasing(xs);
12} in 5;
13
14array[1..5] of var 3..7: xs;
15var partial_bound(xs)..15: y;
16constraint sum(xs) = y;