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 bug #341: mzn2fzn 1.5.0 was incorrectly tightening the
7% bounds on the array S to 4..3. The problem was that the bounds inferred for
8% each element of the array (which may differ) were being applied to the array
9% as a whole.
10
11array[1..2] of var set of 1..6: S;
12
13constraint
14 S[1] subset {1,2,3} /\
15 S[2] subset {4,5,6}
16;
17
18solve satisfy;
19
20output [
21 "S = array1d(1..2, ", show(S), ";"
22];