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***/
9
10var 1..8: x;
11var 1..10: y;
12var 1..10: z;
13var 1..10: w;
14constraint x = 1 -> x < 1;
15constraint x > 1 -> y < 5;
16constraint x > 1 -> z < 5;
17constraint x > 1 -> w < 5;
18constraint y = 1 -> x > 4;
19
20solve :: int_search([x,y,z,w],first_fail,indomain_min,complete)
21 satisfy;