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