this repo has no description
dekker.one
1/***
2--- !Test
3solvers: [gecode]
4expected: !Result
5 solution: !Solution
6 x: 5
7 y: 8
8--- !Test
9solvers: [chuffed]
10expected: !Result
11 solution: !Solution
12 x: 6
13 y: 7
14***/
15
16var 1..10: x;
17var 2..10: y;
18constraint 7 < y \/ y > 6;
19constraint x + y <= 13;
20
21solve :: int_search([x,y],largest,indomain_split,complete)
22 maximize x + y;