this repo has no description
dekker.one
1/***
2--- !Test
3solvers: [gecode, chuffed]
4expected:
5- !Result
6 status: SATISFIED
7 solution: !Solution
8 x: 10
9 y: -2147483646
10- !Result
11 status: SATISFIED
12 solution: !Solution
13 x: 10
14 y: 11
15--- !Test
16solvers: [cbc]
17expected: !Error {}
18***/
19
20int: X = 10;
21var int: x :: add_to_output = X;
22var int: y :: add_to_output;
23constraint x != y;
24solve satisfy;
25output ["\(x) \(y)\n"];