this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_mip
4
5% Regression test for bug #244: when asked for all solutions (with G12/FD)
6% this model did not produce the solution (i = 0, b = false). The problem
7% was that the flattening of the reified array lookup in the constraint was
8% incorrect. We were emitting (in pseudcode):
9%
10% (i = i' <-> i <= size(arr)) /\ i >= 1
11%
12% rather than
13%
14% (i = i' <-> i (i >= 1 /\ i <= size(arr)))
15%
16% i' is the fesh index variable.
17
18var 0..3: i;
19var bool: b;
20array[1..2] of bool: arr = [true, false];
21constraint b = arr[i];
22solve satisfy;
23output [
24 "b = ", show(b), ";\n",
25 "i = ", show(i), ";\n"
26];