this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% Test sum/1 for integers with multi-dimensional arrays.
4
5int: a = sum([|1, 2, 3, 4, 5 | 6, 7, 8, 9, 10|]);
6
7array[1..2,1..2] of var 1..10: vs;
8var -100..100: b = sum(vs);
9
10solve satisfy;
11
12output [
13 "% a = ", show(a), ";\n",
14 "b = ", show(b), ";\n"
15];