this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3include "disjoint.mzn";
4
5%-----------------------------------------------------------------------------%
6% disjoint
7%-----------------------------------------------------------------------------%
8par set of 1..5: disj_s1 = {1,2,3};
9var set of 1..5: disj_s2;
10
11constraint disjoint(disj_s1, disj_s2);
12constraint card(disj_s2) = 2;
13
14solve satisfy;
15
16output ["disj_s2 = ", show(disj_s2), ";\n"];