this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed, cbc]
4expected: !Result
5 solution: !Solution
6 addn: [0, -2, -1, 0, 1, 2, -2, -4, -3, -2, -1, 0, -1, -3, -2, -1, 0, 1, 0, -2, -1, 0, 1, 2, 1, -1, 0, 1, 2, 3, 2, 0, 1, 2, 3, 4]
7 subn: [null, null, null, null, null, null, -2, 0, -1, -2, -3, -4, -1, 1, 0, -1, -2, -3, 0, 2, 1, 0, -1, -2, 1, 3, 2, 1, 0, -1, 2, 4, 3, 2, 1, 0]
8 prod: [1, -2, -1, 0, 1, 2, -2, 4, 2, 0, -2, -4, -1, 2, 1, 0, -1, -2, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0, 1, 2, 2, -4, -2, 0, 2, 4]
9 divn: [null, null, null, null, null, -2, 1, 2, -2, -1, -1, 0, 1, -1, 0, 1, 0, -1, 1, 0, 2, -1, -2, 2, 1]
10 gt: [true, true, true, true, false, false, true, true, false]
11 ge: [true, true, true, true, true, false, true, true, true]
12 lt: [true, true, true, true, false, true, true, false, false]
13 le: [true, true, true, true, true, true, true, false, true]
14 status: SATISFIED
15***/
16
17array [1..36] of int: addn :: add_to_output = [x + y | x, y in [<>, -2, -1, 0, 1, 2]];
18array [1..36] of opt int: subn :: add_to_output = [x - y | x, y in [<>, -2, -1, 0, 1, 2]];
19array [1..36] of int: prod :: add_to_output = [x * y | x, y in [<>, -2, -1, 0, 1, 2]];
20array [1..25] of opt int: divn :: add_to_output = [x div y | x, y in [<>, -2, -1, 1, 2]];
21
22array [1..9] of bool: gt :: add_to_output = [ x > y | x, y in [<>, 0, 1]];
23array [1..9] of bool: ge :: add_to_output = [ x >= y | x, y in [<>, 0, 1]];
24array [1..9] of bool: lt :: add_to_output = [ x < y | x, y in [<>, 0, 1]];
25array [1..9] of bool: le :: add_to_output = [ x <= y | x, y in [<>, 0, 1]];
26
27solve satisfy;