this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 a: [!!set {}, !!set {}, !!set {}]
7 s: !!set {}
8 x: 3
9- !Result
10 solution: !Solution
11 a: [!Range 1..5, !Range 1..5, !Range 1..5]
12 s: !Range 1..5
13 x: 2
14***/
15
16array [1..3] of var set of 1..5: a :: add_to_output;
17var 2..10: x :: add_to_output;
18var set of 1..10: s :: add_to_output = a[x];
19solve satisfy;