1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3set of int: X = {1,2}; 4function array[int] of int: foo(set of X: x) = 5 if card(x)==0 then [] 6 else let { 7 int: y = min(x); 8 array[int] of X: res = [1]++foo(x diff {y}) 9 } in res endif; 10array[int] of X: x = foo(X); 11solve satisfy;
dekker.one