this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 disj_s2: !Range 4..5
7***/
8
9include "disjoint.mzn";
10
11%-----------------------------------------------------------------------------%
12% disjoint
13%-----------------------------------------------------------------------------%
14par set of 1..5: disj_s1 = {1,2,3};
15var set of 1..5: disj_s2;
16
17constraint disjoint(disj_s1, disj_s2);
18constraint card(disj_s2) = 2;
19
20solve satisfy;
21
22output ["disj_s2 = ", show(disj_s2), ";\n"];