this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 objective: 0
7 x: !!set {}
8 y: 0
9***/
10
11% Prior to r9313, mzn2fzn would "improve" the bounds on y incorrectly.
12% In particular the lower bound would be set to 1 rather than 0.
13%
14var set of 1..15: x;
15var -100..100: y;
16constraint y = card(x);
17solve minimize y;
18output ["y = ", show(y), ";\n"];