this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5 solution: !Solution
6 ax: !Range 1..2
7 bx: !Range 1..2
8***/
9
10array[int, int] of int: a = [|1, 2|3, 4|];
11set of int: ax :: add_to_output = index_set_1of2(a);
12set of int: bx :: add_to_output = index_set_2of2(a);
13solve satisfy;
14output [
15 "ax = ", show(ax), "\n",
16 "bx = ", show(bx)
17];