this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4expected: !Result
5 solution: !Solution
6 x: 3
7 y: 8
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;