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
6% Regression test for the second problem in bug 68.
7% The type checker was assigning the type var bottom to the elements of
8% array1d(1..2, [_, _]) below and that was causing mzn2fzn to abort.
9
10int: N = 2;
11array[1..N] of var 1 .. N: b;
12constraint forall([ b[i] = array1d(1..2, [_, _])[i] | i in index_set(b) ]);
13solve satisfy;
14output ["b = ", show(b), "\n"];