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