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 #337: mzn2fzn was incorrectly setting the initial
6% domains of variables introduced in the reification of the division operation
7% to be empty. This was causing the model to incorrectly reported as
8% unsatisfiable.
9
10array[1..2] of var bool: x;
11var 0..0: y;
12constraint not(x[1 div y]);
13solve satisfy;
14output [
15 "x = array1d(1..2, ", show(x), ";\n",
16 "y = ", show(y), ";\n"
17];