this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4expected: !Result
5 solution: !SolutionSet
6 - !Solution
7 s: !Range 1..5
8 t: !Range 1..5
9 - !Solution
10 s: !Range 1..5
11 t: !Range 1..4
12 - !Solution
13 s: !Range 1..5
14 t: !!set {1, 2, 3, 5}
15 - !Solution
16 s: !Range 1..5
17 t: !Range 1..3
18 - !Solution
19 s: !!set {1, 2, 3, 5}
20 t: !!set {1, 3, 4, 5}
21 - !Solution
22 s: !!set {1, 2, 3, 5}
23 t: !!set {1, 3, 4}
24 - !Solution
25 s: !!set {1, 2, 3, 5}
26 t: !!set {1, 3, 5}
27 - !Solution
28 s: !!set {1, 2, 3, 5}
29 t: !!set {1, 3}
30 - !Solution
31 s: !!set {1, 3, 4}
32 t: !!set {1, 2, 4, 5}
33 - !Solution
34 s: !!set {1, 3, 4}
35 t: !!set {1, 2, 4}
36 - !Solution
37 s: !!set {1, 3, 4}
38 t: !!set {1, 2, 5}
39 - !Solution
40 s: !!set {1, 3, 4}
41 t: !Range 1..2
42 - !Solution
43 s: !!set {1, 3}
44 t: !!set {1, 4, 5}
45 - !Solution
46 s: !!set {1, 3}
47 t: !!set {1, 4}
48 - !Solution
49 s: !!set {1, 3}
50 t: !!set {1, 5}
51 - !Solution
52 s: !!set {1, 3}
53 t: !!set {1}
54 - !Solution
55 s: !!set {2, 4, 5}
56 t: !Range 2..5
57 - !Solution
58 s: !!set {2, 4, 5}
59 t: !Range 2..4
60 - !Solution
61 s: !!set {2, 4, 5}
62 t: !!set {2, 3, 5}
63 - !Solution
64 s: !!set {2, 4, 5}
65 t: !Range 2..3
66 - !Solution
67 s: !!set {2, 5}
68 t: !Range 3..5
69 - !Solution
70 s: !!set {2, 5}
71 t: !Range 3..4
72 - !Solution
73 s: !!set {2, 5}
74 t: !!set {3, 5}
75 - !Solution
76 s: !!set {2, 5}
77 t: !!set {3}
78 - !Solution
79 s: !!set {4}
80 t: !!set {2, 4, 5}
81 - !Solution
82 s: !!set {4}
83 t: !!set {2, 4}
84 - !Solution
85 s: !!set {4}
86 t: !!set {2, 5}
87 - !Solution
88 s: !!set {4}
89 t: !!set {2}
90 - !Solution
91 s: !!set {}
92 t: !Range 4..5
93 - !Solution
94 s: !!set {}
95 t: !!set {4}
96 - !Solution
97 s: !!set {}
98 t: !!set {5}
99 - !Solution
100 s: !!set {}
101 t: !!set {}
102options:
103 all_solutions: true
104***/
105
106include "roots.mzn";
107
108var set of 1..5: s ::add_to_output;
109var set of 1..5: t ::add_to_output;
110
111constraint roots([1, 3, 1, 2, 3], s, t);
112
113solve satisfy;
114
115output [
116 "s = ", show(s), ";\n",
117 "t = ", show(t), ";\n"
118];