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