this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4% Regression test for bug #318: this model as causing mzn2fzn to abort because
5% the second argument of the element constraint below wasn't flat by the
6% optimisation pass (or the output pass if optimisation was disabled).
7
8include "globals.mzn";
9
10var int: var1;
11var int: var2;
12var int: var3;
13
14constraint element(var1,[var2, (var2+1) ],var3);
15
16solve minimize var3;
17
18output ["Ok\n"];