this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: OPTIMAL_SOLUTION
5 solution: !Solution
6 x: 3
7 y: 8
8***/
9
10%% Check that the first-fail search complies with spec
11%%
12
13var 1..8: x;
14var 1..10: y;
15constraint x > 1 -> y > 7;
16constraint x = 1 -> y < 3;
17constraint x + y <= 11;
18
19solve :: int_search([y,x],first_fail,indomain_min,complete)
20 maximize x + y;
21
22output ["x = ",show(x),";\ny = ",show(y),";\n%% should be x = 3, y = 8\n"];