examples/flatzinc/gunport_problem2.fzn

36 array [1..96] of var 0..1: x;
69 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[1], x[1], x[2], x[3], x[4], x[5], x[6]], 0);
70 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[2], x[7], x[8], x[9], x[10], x[11], x[12]], …
71 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[3], x[13], x[14], x[15], x[16], x[17], x[18]…
72 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[4], x[19], x[20], x[21], x[22], x[23], x[24]…
73 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[5], x[25], x[26], x[27], x[28], x[29], x[30]…
74 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[6], x[31], x[32], x[33], x[34], x[35], x[36]…
75 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[7], x[37], x[38], x[39], x[40], x[41], x[42]…
76 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[8], x[43], x[44], x[45], x[46], x[47], x[48]…
77 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[9], x[49], x[50], x[51], x[52], x[53], x[54]…
78 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[10], x[55], x[56], x[57], x[58], x[59], x[60…
79 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[11], x[61], x[62], x[63], x[64], x[65], x[66…
80 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[12], x[67], x[68], x[69], x[70], x[71], x[72…
81 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[13], x[73], x[74], x[75], x[76], x[77], x[78…
82 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[14], x[79], x[80], x[81], x[82], x[83], x[84…
83 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[15], x[85], x[86], x[87], x[88], x[89], x[90…
84 constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[16], x[91], x[92], x[93], x[94], x[95], x[96…
85 … 1, 1, 1, 1, 1, 1, 1], [x[1], x[7], x[13], x[19], x[25], x[31], x[37], x[43], x[49], x[55], x[61],…
86 … 1, 1, 1, 1, 1, 1, 1], [x[2], x[8], x[14], x[20], x[26], x[32], x[38], x[44], x[50], x[56], x[62],…
87 … 1, 1, 1, 1, 1, 1, 1], [x[3], x[9], x[15], x[21], x[27], x[33], x[39], x[45], x[51], x[57], x[63],…
88 … 1, 1, 1, 1, 1, 1, 1], [x[4], x[10], x[16], x[22], x[28], x[34], x[40], x[46], x[52], x[58], x[64]…
89 … 1, 1, 1, 1, 1, 1, 1], [x[5], x[11], x[17], x[23], x[29], x[35], x[41], x[47], x[53], x[59], x[65]…
90 … 1, 1, 1, 1, 1, 1, 1], [x[6], x[12], x[18], x[24], x[30], x[36], x[42], x[48], x[54], x[60], x[66]…
92 constraint int_lin_le([-1, -1, 1], [x[67], x[85], x[91]], 0);
93 constraint int_lin_le([-1, -1, 1], [x[68], x[86], x[92]], 0);
94 constraint int_lin_le([-1, -1, 1], [x[69], x[87], x[93]], 0);
95 constraint int_lin_le([-1, -1, 1], [x[70], x[88], x[94]], 0);
96 constraint int_lin_le([-1, -1, 1], [x[71], x[89], x[95]], 0);
97 constraint int_lin_le([-1, -1, 1], [x[72], x[90], x[96]], 0);
98 constraint int_lin_le([-1, 1, -1], [x[13], x[19], x[43]], 0);
99 constraint int_lin_le([-1, 1, -1], [x[14], x[20], x[44]], 0);
100 constraint int_lin_le([-1, 1, -1], [x[15], x[21], x[45]], 0);
101 constraint int_lin_le([-1, 1, -1], [x[16], x[22], x[46]], 0);
102 constraint int_lin_le([-1, 1, -1], [x[17], x[23], x[47]], 0);
103 constraint int_lin_le([-1, 1, -1], [x[18], x[24], x[48]], 0);
104 constraint int_lin_le([-1, 1, -1], [x[49], x[73], x[79]], 0);
105 constraint int_lin_le([-1, 1, -1], [x[50], x[74], x[80]], 0);
106 constraint int_lin_le([-1, 1, -1], [x[51], x[75], x[81]], 0);
107 constraint int_lin_le([-1, 1, -1], [x[52], x[76], x[82]], 0);
108 constraint int_lin_le([-1, 1, -1], [x[53], x[77], x[83]], 0);
109 constraint int_lin_le([-1, 1, -1], [x[54], x[78], x[84]], 0);
110 constraint int_lin_le([1, -1, -1], [x[1], x[7], x[25]], 0);
111 constraint int_lin_le([1, -1, -1], [x[2], x[8], x[26]], 0);
112 constraint int_lin_le([1, -1, -1], [x[3], x[9], x[27]], 0);
113 constraint int_lin_le([1, -1, -1], [x[4], x[10], x[28]], 0);
114 constraint int_lin_le([1, -1, -1], [x[5], x[11], x[29]], 0);
115 constraint int_lin_le([1, -1, -1], [x[6], x[12], x[30]], 0);
116 constraint int_lin_le([-1, -1, 1, -1], [x[19], x[37], x[43], x[67]], 0);
117 constraint int_lin_le([-1, -1, 1, -1], [x[20], x[38], x[44], x[68]], 0);
118 constraint int_lin_le([-1, -1, 1, -1], [x[21], x[39], x[45], x[69]], 0);
119 constraint int_lin_le([-1, -1, 1, -1], [x[22], x[40], x[46], x[70]], 0);
120 constraint int_lin_le([-1, -1, 1, -1], [x[23], x[41], x[47], x[71]], 0);
121 constraint int_lin_le([-1, -1, 1, -1], [x[24], x[42], x[48], x[72]], 0);
122 constraint int_lin_le([-1, -1, 1, -1], [x[43], x[61], x[67], x[91]], 0);
123 constraint int_lin_le([-1, -1, 1, -1], [x[44], x[62], x[68], x[92]], 0);
124 constraint int_lin_le([-1, -1, 1, -1], [x[45], x[63], x[69], x[93]], 0);
125 constraint int_lin_le([-1, -1, 1, -1], [x[46], x[64], x[70], x[94]], 0);
126 constraint int_lin_le([-1, -1, 1, -1], [x[47], x[65], x[71], x[95]], 0);
127 constraint int_lin_le([-1, -1, 1, -1], [x[48], x[66], x[72], x[96]], 0);
128 constraint int_lin_le([-1, -1, 1, -1], [x[55], x[73], x[79], x[85]], 0);
129 constraint int_lin_le([-1, -1, 1, -1], [x[56], x[74], x[80], x[86]], 0);
130 constraint int_lin_le([-1, -1, 1, -1], [x[57], x[75], x[81], x[87]], 0);
131 constraint int_lin_le([-1, -1, 1, -1], [x[58], x[76], x[82], x[88]], 0);
132 constraint int_lin_le([-1, -1, 1, -1], [x[59], x[77], x[83], x[89]], 0);
133 constraint int_lin_le([-1, -1, 1, -1], [x[60], x[78], x[84], x[90]], 0);
134 constraint int_lin_le([-1, -1, 1, -1], [x[61], x[79], x[85], x[91]], 0);
135 constraint int_lin_le([-1, -1, 1, -1], [x[62], x[80], x[86], x[92]], 0);
136 constraint int_lin_le([-1, -1, 1, -1], [x[63], x[81], x[87], x[93]], 0);
137 constraint int_lin_le([-1, -1, 1, -1], [x[64], x[82], x[88], x[94]], 0);
138 constraint int_lin_le([-1, -1, 1, -1], [x[65], x[83], x[89], x[95]], 0);
139 constraint int_lin_le([-1, -1, 1, -1], [x[66], x[84], x[90], x[96]], 0);
140 constraint int_lin_le([-1, 1, -1, -1], [x[1], x[7], x[13], x[31]], 0);
141 constraint int_lin_le([-1, 1, -1, -1], [x[1], x[25], x[31], x[49]], 0);
142 constraint int_lin_le([-1, 1, -1, -1], [x[2], x[8], x[14], x[32]], 0);
143 constraint int_lin_le([-1, 1, -1, -1], [x[2], x[26], x[32], x[50]], 0);
144 constraint int_lin_le([-1, 1, -1, -1], [x[3], x[9], x[15], x[33]], 0);
145 constraint int_lin_le([-1, 1, -1, -1], [x[3], x[27], x[33], x[51]], 0);
146 constraint int_lin_le([-1, 1, -1, -1], [x[4], x[10], x[16], x[34]], 0);
147 constraint int_lin_le([-1, 1, -1, -1], [x[4], x[28], x[34], x[52]], 0);
148 constraint int_lin_le([-1, 1, -1, -1], [x[5], x[11], x[17], x[35]], 0);
149 constraint int_lin_le([-1, 1, -1, -1], [x[5], x[29], x[35], x[53]], 0);
150 constraint int_lin_le([-1, 1, -1, -1], [x[6], x[12], x[18], x[36]], 0);
151 constraint int_lin_le([-1, 1, -1, -1], [x[6], x[30], x[36], x[54]], 0);
152 constraint int_lin_le([-1, 1, -1, -1], [x[7], x[13], x[19], x[37]], 0);
153 constraint int_lin_le([-1, 1, -1, -1], [x[8], x[14], x[20], x[38]], 0);
154 constraint int_lin_le([-1, 1, -1, -1], [x[9], x[15], x[21], x[39]], 0);
155 constraint int_lin_le([-1, 1, -1, -1], [x[10], x[16], x[22], x[40]], 0);
156 constraint int_lin_le([-1, 1, -1, -1], [x[11], x[17], x[23], x[41]], 0);
157 constraint int_lin_le([-1, 1, -1, -1], [x[12], x[18], x[24], x[42]], 0);
158 constraint int_lin_le([-1, 1, -1, -1], [x[25], x[49], x[55], x[73]], 0);
159 constraint int_lin_le([-1, 1, -1, -1], [x[26], x[50], x[56], x[74]], 0);
160 constraint int_lin_le([-1, 1, -1, -1], [x[27], x[51], x[57], x[75]], 0);
161 constraint int_lin_le([-1, 1, -1, -1], [x[28], x[52], x[58], x[76]], 0);
162 constraint int_lin_le([-1, 1, -1, -1], [x[29], x[53], x[59], x[77]], 0);
163 constraint int_lin_le([-1, 1, -1, -1], [x[30], x[54], x[60], x[78]], 0);
164 constraint int_lin_le([-1, -1, 1, -1, -1], [x[7], x[25], x[31], x[37], x[55]], 0);
165 constraint int_lin_le([-1, -1, 1, -1, -1], [x[8], x[26], x[32], x[38], x[56]], 0);
166 constraint int_lin_le([-1, -1, 1, -1, -1], [x[9], x[27], x[33], x[39], x[57]], 0);
167 constraint int_lin_le([-1, -1, 1, -1, -1], [x[10], x[28], x[34], x[40], x[58]], 0);
168 constraint int_lin_le([-1, -1, 1, -1, -1], [x[11], x[29], x[35], x[41], x[59]], 0);
169 constraint int_lin_le([-1, -1, 1, -1, -1], [x[12], x[30], x[36], x[42], x[60]], 0);
170 constraint int_lin_le([-1, -1, 1, -1, -1], [x[13], x[31], x[37], x[43], x[61]], 0);
171 constraint int_lin_le([-1, -1, 1, -1, -1], [x[14], x[32], x[38], x[44], x[62]], 0);
172 constraint int_lin_le([-1, -1, 1, -1, -1], [x[15], x[33], x[39], x[45], x[63]], 0);
173 constraint int_lin_le([-1, -1, 1, -1, -1], [x[16], x[34], x[40], x[46], x[64]], 0);
174 constraint int_lin_le([-1, -1, 1, -1, -1], [x[17], x[35], x[41], x[47], x[65]], 0);
175 constraint int_lin_le([-1, -1, 1, -1, -1], [x[18], x[36], x[42], x[48], x[66]], 0);
176 constraint int_lin_le([-1, -1, 1, -1, -1], [x[31], x[49], x[55], x[61], x[79]], 0);
177 constraint int_lin_le([-1, -1, 1, -1, -1], [x[32], x[50], x[56], x[62], x[80]], 0);
178 constraint int_lin_le([-1, -1, 1, -1, -1], [x[33], x[51], x[57], x[63], x[81]], 0);
179 constraint int_lin_le([-1, -1, 1, -1, -1], [x[34], x[52], x[58], x[64], x[82]], 0);
180 constraint int_lin_le([-1, -1, 1, -1, -1], [x[35], x[53], x[59], x[65], x[83]], 0);
181 constraint int_lin_le([-1, -1, 1, -1, -1], [x[36], x[54], x[60], x[66], x[84]], 0);
182 constraint int_lin_le([-1, -1, 1, -1, -1], [x[37], x[55], x[61], x[67], x[85]], 0);
183 constraint int_lin_le([-1, -1, 1, -1, -1], [x[38], x[56], x[62], x[68], x[86]], 0);
184 constraint int_lin_le([-1, -1, 1, -1, -1], [x[39], x[57], x[63], x[69], x[87]], 0);
185 constraint int_lin_le([-1, -1, 1, -1, -1], [x[40], x[58], x[64], x[70], x[88]], 0);
186 constraint int_lin_le([-1, -1, 1, -1, -1], [x[41], x[59], x[65], x[71], x[89]], 0);
187 constraint int_lin_le([-1, -1, 1, -1, -1], [x[42], x[60], x[66], x[72], x[90]], 0);
188 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5], x[6]], 1);
189 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[7], x[8], x[9], x[10], x[11], x[12]], 1);
190 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[13], x[14], x[15], x[16], x[17], x[18]], 1);
191 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[19], x[20], x[21], x[22], x[23], x[24]], 1);
192 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[25], x[26], x[27], x[28], x[29], x[30]], 1);
193 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[31], x[32], x[33], x[34], x[35], x[36]], 1);
194 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[37], x[38], x[39], x[40], x[41], x[42]], 1);
195 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[43], x[44], x[45], x[46], x[47], x[48]], 1);
196 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[49], x[50], x[51], x[52], x[53], x[54]], 1);
197 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[55], x[56], x[57], x[58], x[59], x[60]], 1);
198 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[61], x[62], x[63], x[64], x[65], x[66]], 1);
199 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[67], x[68], x[69], x[70], x[71], x[72]], 1);
200 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[73], x[74], x[75], x[76], x[77], x[78]], 1);
201 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[79], x[80], x[81], x[82], x[83], x[84]], 1);
202 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[85], x[86], x[87], x[88], x[89], x[90]], 1);
203 constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[91], x[92], x[93], x[94], x[95], x[96]], 1);
204 …-1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[…
205 …, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[1], x[2], x[3], x[4], x[5], x[6], x[25], x[26], x[27], x…
206 … -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15],…
207 … -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[7], x[8], x[9], x[10], x[11], x[12], x[31], x[32], x[33],…
208 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21]…
209 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[13], x[14], x[15], x[16], x[17], x[18], x[37], x[38], x[39]…
210 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[19], x[20], x[21], x[22], x[23], x[24], x[43], x[44], x[45]…
211 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33]…
212 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[25], x[26], x[27], x[28], x[29], x[30], x[49], x[50], x[51]…
213 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39]…
214 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[31], x[32], x[33], x[34], x[35], x[36], x[55], x[56], x[57]…
215 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45]…
216 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[37], x[38], x[39], x[40], x[41], x[42], x[61], x[62], x[63]…
217 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[43], x[44], x[45], x[46], x[47], x[48], x[67], x[68], x[69]…
218 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57]…
219 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[49], x[50], x[51], x[52], x[53], x[54], x[73], x[74], x[75]…
220 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63]…
221 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[55], x[56], x[57], x[58], x[59], x[60], x[79], x[80], x[81]…
222 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69]…
223 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[61], x[62], x[63], x[64], x[65], x[66], x[85], x[86], x[87]…
224 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[67], x[68], x[69], x[70], x[71], x[72], x[91], x[92], x[93]…
225 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81]…
226 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87]…
227 …1, -1, -1, -1, -1, -1, -1, -1, -1], [x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93]…
228 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…