this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5
6% Prior to r9313, mzn2fzn would "improve" the bounds on y incorrectly.
7% In particular the lower bound would be set to 1 rather than 0.
8%
9var set of 1..15: x;
10var -100..100: y;
11constraint y = card(x);
12solve minimize y;
13output ["y = ", show(y), ";\n"];