this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 x: [false, false]
7 y: 0
8***/
9
10% Regression test for bug #337: mzn2fzn was incorrectly setting the initial
11% domains of variables introduced in the reification of the division operation
12% to be empty. This was causing the model to incorrectly reported as
13% unsatisfiable.
14
15array[1..2] of var bool: x;
16var 0..0: y;
17constraint not(x[1 div y]);
18solve satisfy;
19output [
20 "x = array1d(1..2, ", show(x), ";\n",
21 "y = ", show(y), ";\n"
22];