this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn-fzn_fd
4
5% RUNS ON mzn20_fd_linear
6% RUNS ON mzn20_mip
7%% Check that the first-fail search complies with spec
8%%
9
10var 1..8: x;
11var 1..10: y;
12constraint x > 1 -> y > 7;
13constraint x = 1 -> y < 3;
14constraint x + y <= 11;
15
16solve :: int_search([y,x],first_fail,indomain_min,complete)
17 maximize x + y;
18
19output ["x = ",show(x),";\ny = ",show(y),";\n%% should be x = 3, y = 8\n"];