this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5 solution: !Solution
6 ia: !Range 1..3
7 ib: !Range 2..5
8***/
9
10array[int] of int: a = [1, 2, 3];
11set of int: ia :: add_to_output = index_set(a);
12
13array[int] of int: b = array1d(2..5, [1, 2, 3, 4]);
14set of int: ib :: add_to_output = index_set(b);
15
16solve satisfy;