this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5% A regression test for G12 bug #52.
6%
7array[1..3,1..3] of var int: x;
8array[1..9] of var int: x1d = [x[w,h] | w in 1..3, h in 1..3];
9var int: x1d1 = x1d[1];
10var int: x1d9 = x1d[9];
11
12constraint x[1, 1] = 3;
13
14constraint x[3, 3] = 10;
15
16solve satisfy;
17
18output [
19 "x1d1 = ", show(x1d1), ";\n",
20 "x1d9 = ", show(x1d9), ";\n"
21];