this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 x: [false, true]
7 y: 0
8- !Result
9 solution: !Solution
10 x: [false, false]
11 y: 0
12***/
13
14% Test for bug #337 but with mod rather than div.
15
16array[1..2] of var bool: x;
17var 0..0: y;
18constraint not(x[1 mod y]);
19solve satisfy;
20output [
21 "x = array1d(1..2, ", show(x), ";\n",
22 "y = ", show(y), ";\n"
23];