this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 a: [1, 1, 1]
7 b: false
8 i: 4
9 x: 1
10- !Result
11 solution: !Solution
12 a: [2, 1, 1]
13 b: false
14 i: 4
15 x: 1
16- !Result
17 solution: !Solution
18 a: [2, 3, 3]
19 b: false
20 i: 4
21 x: 1
22- !Result
23 solution: !Solution
24 a: [10, 10, 10]
25 b: false
26 i: 6
27 x: 100
28***/
29
30array [1..3] of var 1..10: a;
31var bool: b;
32var 4..6: i;
33var 1..100: x;
34constraint a[i] = x <-> b;
35solve satisfy;