this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5***/
6
7set of int: X = {1,2};
8function array[int] of int: foo(set of X: x) =
9 if card(x)==0 then []
10 else let {
11 int: y = min(x);
12 array[int] of X: res = [1]++foo(x diff {y})
13 } in res endif;
14array[int] of X: x = foo(X);
15solve satisfy;