this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 s:
7 - !!set {}
8 - !!set {}
9 - !!set {}
10- !Result
11 solution: !Solution
12 s:
13 - !!set {1}
14 - !!set {1}
15 - !Range 1..3
16- !Result
17 solution: !Solution
18 s:
19 - !Range 1..3
20 - !!set {}
21 - !!set {}
22- !Result
23 solution: !Solution
24 s:
25 - !!set {}
26 - !!set {}
27 - !Range 1..3
28- !Result
29 solution: !Solution
30 s:
31 - !!set {3}
32 - !!set {3}
33 - !!set {3}
34***/
35
36include "at_most1.mzn";
37
38array[1..3] of var set of 1..3: s;
39constraint at_most1(s);
40constraint at_most1([{5,8}, {5}, {5, 6, 7}, {1, 4}]);
41solve satisfy;
42
43output ["s = array1d(1..3, ", show(s), ");\n"];
44