Home
last modified time | relevance | path

Searched refs:int_div (Results 1 – 25 of 340) sorted by relevance

12345678910>>...14

/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/
H A Dlatin_square_card_puzzle.fzn66 constraint int_div(x[1], 10, INT____00001) :: defines_var(INT____00001);
67 constraint int_div(x[2], 10, INT____00017) :: defines_var(INT____00017);
68 constraint int_div(x[3], 10, INT____00018) :: defines_var(INT____00018);
69 constraint int_div(x[4], 10, INT____00009) :: defines_var(INT____00009);
70 constraint int_div(x[5], 10, INT____00019) :: defines_var(INT____00019);
71 constraint int_div(x[6], 10, INT____00002) :: defines_var(INT____00002);
72 constraint int_div(x[7], 10, INT____00010) :: defines_var(INT____00010);
73 constraint int_div(x[8], 10, INT____00025) :: defines_var(INT____00025);
74 constraint int_div(x[9], 10, INT____00020) :: defines_var(INT____00020);
75 constraint int_div(x[10], 10, INT____00011) :: defines_var(INT____00011);
[all …]
H A Dcollatz2.fzn128 constraint int_div(INT____00006, 2, INT____00007) :: defines_var(INT____00007);
129 constraint int_div(INT____00014, 2, INT____00015) :: defines_var(INT____00015);
130 constraint int_div(INT____00022, 2, INT____00023) :: defines_var(INT____00023);
136 constraint int_div(x[1], 2, INT____00003) :: defines_var(INT____00003);
137 constraint int_div(x[2], 2, INT____00011) :: defines_var(INT____00011);
138 constraint int_div(x[3], 2, INT____00019) :: defines_var(INT____00019);
139 constraint int_div(x[4], 2, INT____00027) :: defines_var(INT____00027);
140 constraint int_div(x[5], 2, INT____00035) :: defines_var(INT____00035);
141 constraint int_div(x[6], 2, INT____00043) :: defines_var(INT____00043);
142 constraint int_div(x[7], 2, INT____00051) :: defines_var(INT____00051);
[all …]
H A Dnumber_generation.fzn88 constraint int_div(x[1], x[2], INT____00008) :: defines_var(INT____00008);
89 constraint int_div(x[2], x[3], INT____00016) :: defines_var(INT____00016);
90 constraint int_div(x[3], x[4], INT____00024) :: defines_var(INT____00024);
91 constraint int_div(x[4], x[5], INT____00032) :: defines_var(INT____00032);
92 constraint int_div(x[5], x[6], INT____00040) :: defines_var(INT____00040);
93 constraint int_div(x[6], x[7], INT____00048) :: defines_var(INT____00048);
94 constraint int_div(x[7], x[8], INT____00056) :: defines_var(INT____00056);
95 constraint int_div(x[8], x[9], INT____00064) :: defines_var(INT____00064);
96 constraint int_div(x[9], x[10], INT____00072) :: defines_var(INT____00072);
97 constraint int_div(x[10], x[11], INT____00080) :: defines_var(INT____00080);
[all …]
H A Dguards_and_apples2.fzn18 constraint int_div(x[1], 2, INT____00001) :: defines_var(INT____00001);
19 constraint int_div(x[2], 2, INT____00003) :: defines_var(INT____00003);
20 constraint int_div(x[3], 2, INT____00005) :: defines_var(INT____00005);
21 constraint int_div(x[4], 2, INT____00007) :: defines_var(INT____00007);
22 constraint int_div(x[5], 2, INT____00009) :: defines_var(INT____00009);
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/chain_of_primes/
H A Dchain_of_primes.fzn20 constraint int_div(X_INTRODUCED_6,10,X_INTRODUCED_41):: defines_var(X_INTRODUCED_41);
23 constraint int_div(X_INTRODUCED_9,10,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49);
24 constraint int_div(X_INTRODUCED_3,10,X_INTRODUCED_33):: defines_var(X_INTRODUCED_33);
27 constraint int_div(X_INTRODUCED_0,10,X_INTRODUCED_25):: defines_var(X_INTRODUCED_25);
28 constraint int_div(X_INTRODUCED_1,10,X_INTRODUCED_33):: defines_var(X_INTRODUCED_33);
29 constraint int_div(X_INTRODUCED_2,10,X_INTRODUCED_31):: defines_var(X_INTRODUCED_31);
32 constraint int_div(X_INTRODUCED_4,10,X_INTRODUCED_25):: defines_var(X_INTRODUCED_25);
33 constraint int_div(X_INTRODUCED_5,10,X_INTRODUCED_39):: defines_var(X_INTRODUCED_39);
36 constraint int_div(X_INTRODUCED_7,10,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49);
37 constraint int_div(X_INTRODUCED_8,10,X_INTRODUCED_47):: defines_var(X_INTRODUCED_47);
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/number_generation/
H A Dnumber_generation.fzn79 constraint int_div(72,229,0);
84 constraint int_div(229,107,2);
89 constraint int_div(107,97,1);
94 constraint int_div(97,110,0);
99 constraint int_div(110,32,3);
104 constraint int_div(32,75,0);
109 constraint int_div(75,106,0);
114 constraint int_div(106,101,1);
119 constraint int_div(101,108,0);
154 constraint int_div(114,97,1);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/guards_and_apples2/
H A Dguards_and_apples2.fzn13 constraint int_div(X_INTRODUCED_0,2,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9);
16 constraint int_div(X_INTRODUCED_1,2,X_INTRODUCED_16):: defines_var(X_INTRODUCED_16);
19 constraint int_div(X_INTRODUCED_2,2,X_INTRODUCED_21):: defines_var(X_INTRODUCED_21);
22 constraint int_div(X_INTRODUCED_3,2,X_INTRODUCED_26):: defines_var(X_INTRODUCED_26);
25 constraint int_div(X_INTRODUCED_4,2,2);
/dports/math/jacop/jacop-4.8.0/src/test/fz/above10min/cargo/
H A Dchallenge19_31058f_2548.fzn850 constraint int_div(X_INTRODUCED_170,1440,X_INTRODUCED_747):: defines_var(X_INTRODUCED_747);
852 constraint int_div(X_INTRODUCED_171,1440,X_INTRODUCED_749):: defines_var(X_INTRODUCED_749);
854 constraint int_div(X_INTRODUCED_172,1440,X_INTRODUCED_751):: defines_var(X_INTRODUCED_751);
856 constraint int_div(X_INTRODUCED_173,1440,X_INTRODUCED_753):: defines_var(X_INTRODUCED_753);
858 constraint int_div(X_INTRODUCED_174,1440,X_INTRODUCED_755):: defines_var(X_INTRODUCED_755);
860 constraint int_div(X_INTRODUCED_175,1440,X_INTRODUCED_757):: defines_var(X_INTRODUCED_757);
862 constraint int_div(X_INTRODUCED_176,1440,X_INTRODUCED_759):: defines_var(X_INTRODUCED_759);
864 constraint int_div(X_INTRODUCED_177,1440,X_INTRODUCED_761):: defines_var(X_INTRODUCED_761);
866 constraint int_div(X_INTRODUCED_178,1440,X_INTRODUCED_763):: defines_var(X_INTRODUCED_763);
868 constraint int_div(X_INTRODUCED_179,1440,X_INTRODUCED_765):: defines_var(X_INTRODUCED_765);
[all …]
H A Dchallenge16_10720f_4243.fzn705 constraint int_div(X_INTRODUCED_140,1440,X_INTRODUCED_617):: defines_var(X_INTRODUCED_617);
707 constraint int_div(X_INTRODUCED_141,1440,X_INTRODUCED_619):: defines_var(X_INTRODUCED_619);
709 constraint int_div(X_INTRODUCED_142,1440,X_INTRODUCED_621):: defines_var(X_INTRODUCED_621);
711 constraint int_div(X_INTRODUCED_143,1440,X_INTRODUCED_623):: defines_var(X_INTRODUCED_623);
713 constraint int_div(X_INTRODUCED_144,1440,X_INTRODUCED_625):: defines_var(X_INTRODUCED_625);
715 constraint int_div(X_INTRODUCED_145,1440,X_INTRODUCED_627):: defines_var(X_INTRODUCED_627);
717 constraint int_div(X_INTRODUCED_146,1440,X_INTRODUCED_629):: defines_var(X_INTRODUCED_629);
719 constraint int_div(X_INTRODUCED_147,1440,X_INTRODUCED_631):: defines_var(X_INTRODUCED_631);
721 constraint int_div(X_INTRODUCED_148,1440,X_INTRODUCED_633):: defines_var(X_INTRODUCED_633);
723 constraint int_div(X_INTRODUCED_149,1440,X_INTRODUCED_635):: defines_var(X_INTRODUCED_635);
[all …]
H A Dchallenge06_1s_3927.fzn264 constraint int_div(X_INTRODUCED_50,1440,X_INTRODUCED_222):: defines_var(X_INTRODUCED_222);
266 constraint int_div(X_INTRODUCED_51,1440,X_INTRODUCED_224):: defines_var(X_INTRODUCED_224);
268 constraint int_div(X_INTRODUCED_52,1440,X_INTRODUCED_226):: defines_var(X_INTRODUCED_226);
270 constraint int_div(X_INTRODUCED_53,1440,X_INTRODUCED_228):: defines_var(X_INTRODUCED_228);
272 constraint int_div(X_INTRODUCED_54,1440,X_INTRODUCED_230):: defines_var(X_INTRODUCED_230);
274 constraint int_div(X_INTRODUCED_55,1440,X_INTRODUCED_232):: defines_var(X_INTRODUCED_232);
276 constraint int_div(X_INTRODUCED_56,1440,X_INTRODUCED_234):: defines_var(X_INTRODUCED_234);
278 constraint int_div(X_INTRODUCED_57,1440,X_INTRODUCED_236):: defines_var(X_INTRODUCED_236);
280 constraint int_div(X_INTRODUCED_58,1440,X_INTRODUCED_238):: defines_var(X_INTRODUCED_238);
282 constraint int_div(X_INTRODUCED_59,1440,X_INTRODUCED_240):: defines_var(X_INTRODUCED_240);
[all …]
H A Dchallenge01_0s_1913.fzn217 constraint int_div(X_INTRODUCED_40,1440,X_INTRODUCED_180):: defines_var(X_INTRODUCED_180);
219 constraint int_div(X_INTRODUCED_41,1440,X_INTRODUCED_182):: defines_var(X_INTRODUCED_182);
221 constraint int_div(X_INTRODUCED_42,1440,X_INTRODUCED_184):: defines_var(X_INTRODUCED_184);
223 constraint int_div(X_INTRODUCED_43,1440,X_INTRODUCED_186):: defines_var(X_INTRODUCED_186);
225 constraint int_div(X_INTRODUCED_44,1440,X_INTRODUCED_188):: defines_var(X_INTRODUCED_188);
227 constraint int_div(X_INTRODUCED_45,1440,X_INTRODUCED_190):: defines_var(X_INTRODUCED_190);
229 constraint int_div(X_INTRODUCED_46,1440,X_INTRODUCED_192):: defines_var(X_INTRODUCED_192);
231 constraint int_div(X_INTRODUCED_47,1440,X_INTRODUCED_194):: defines_var(X_INTRODUCED_194);
233 constraint int_div(X_INTRODUCED_48,1440,X_INTRODUCED_196):: defines_var(X_INTRODUCED_196);
235 constraint int_div(X_INTRODUCED_49,1440,X_INTRODUCED_198):: defines_var(X_INTRODUCED_198);
[all …]
H A Dchallenge02_0s_1139.fzn226 constraint int_div(X_INTRODUCED_42,1440,X_INTRODUCED_188):: defines_var(X_INTRODUCED_188);
228 constraint int_div(X_INTRODUCED_43,1440,X_INTRODUCED_190):: defines_var(X_INTRODUCED_190);
230 constraint int_div(X_INTRODUCED_44,1440,X_INTRODUCED_192):: defines_var(X_INTRODUCED_192);
232 constraint int_div(X_INTRODUCED_45,1440,X_INTRODUCED_194):: defines_var(X_INTRODUCED_194);
234 constraint int_div(X_INTRODUCED_46,1440,X_INTRODUCED_196):: defines_var(X_INTRODUCED_196);
236 constraint int_div(X_INTRODUCED_47,1440,X_INTRODUCED_198):: defines_var(X_INTRODUCED_198);
238 constraint int_div(X_INTRODUCED_48,1440,X_INTRODUCED_200):: defines_var(X_INTRODUCED_200);
240 constraint int_div(X_INTRODUCED_49,1440,X_INTRODUCED_202):: defines_var(X_INTRODUCED_202);
242 constraint int_div(X_INTRODUCED_50,1440,X_INTRODUCED_204):: defines_var(X_INTRODUCED_204);
244 constraint int_div(X_INTRODUCED_51,1440,X_INTRODUCED_206):: defines_var(X_INTRODUCED_206);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/above1hour/cargo/
H A Dchallenge10_15966f_2060.fzn317 constraint int_div(X_INTRODUCED_60,1440,X_INTRODUCED_274):: defines_var(X_INTRODUCED_274);
319 constraint int_div(X_INTRODUCED_61,1440,X_INTRODUCED_277):: defines_var(X_INTRODUCED_277);
321 constraint int_div(X_INTRODUCED_62,1440,X_INTRODUCED_280):: defines_var(X_INTRODUCED_280);
323 constraint int_div(X_INTRODUCED_63,1440,X_INTRODUCED_283):: defines_var(X_INTRODUCED_283);
325 constraint int_div(X_INTRODUCED_64,1440,X_INTRODUCED_286):: defines_var(X_INTRODUCED_286);
327 constraint int_div(X_INTRODUCED_65,1440,X_INTRODUCED_289):: defines_var(X_INTRODUCED_289);
329 constraint int_div(X_INTRODUCED_66,1440,X_INTRODUCED_292):: defines_var(X_INTRODUCED_292);
331 constraint int_div(X_INTRODUCED_67,1440,X_INTRODUCED_295):: defines_var(X_INTRODUCED_295);
333 constraint int_div(X_INTRODUCED_68,1440,X_INTRODUCED_298):: defines_var(X_INTRODUCED_298);
335 constraint int_div(X_INTRODUCED_69,1440,X_INTRODUCED_301):: defines_var(X_INTRODUCED_301);
[all …]
H A Dchallenge08_222f_3475.fzn317 constraint int_div(X_INTRODUCED_60,1440,X_INTRODUCED_274):: defines_var(X_INTRODUCED_274);
319 constraint int_div(X_INTRODUCED_61,1440,X_INTRODUCED_277):: defines_var(X_INTRODUCED_277);
321 constraint int_div(X_INTRODUCED_62,1440,X_INTRODUCED_280):: defines_var(X_INTRODUCED_280);
323 constraint int_div(X_INTRODUCED_63,1440,X_INTRODUCED_283):: defines_var(X_INTRODUCED_283);
325 constraint int_div(X_INTRODUCED_64,1440,X_INTRODUCED_286):: defines_var(X_INTRODUCED_286);
327 constraint int_div(X_INTRODUCED_65,1440,X_INTRODUCED_289):: defines_var(X_INTRODUCED_289);
329 constraint int_div(X_INTRODUCED_66,1440,X_INTRODUCED_292):: defines_var(X_INTRODUCED_292);
331 constraint int_div(X_INTRODUCED_67,1440,X_INTRODUCED_295):: defines_var(X_INTRODUCED_295);
333 constraint int_div(X_INTRODUCED_68,1440,X_INTRODUCED_298):: defines_var(X_INTRODUCED_298);
335 constraint int_div(X_INTRODUCED_69,1440,X_INTRODUCED_301):: defines_var(X_INTRODUCED_301);
[all …]
H A Dchallenge07_1s_133.fzn283 constraint int_div(X_INTRODUCED_54,1440,X_INTRODUCED_245):: defines_var(X_INTRODUCED_245);
285 constraint int_div(X_INTRODUCED_55,1440,X_INTRODUCED_248):: defines_var(X_INTRODUCED_248);
287 constraint int_div(X_INTRODUCED_56,1440,X_INTRODUCED_251):: defines_var(X_INTRODUCED_251);
289 constraint int_div(X_INTRODUCED_57,1440,X_INTRODUCED_254):: defines_var(X_INTRODUCED_254);
291 constraint int_div(X_INTRODUCED_58,1440,X_INTRODUCED_257):: defines_var(X_INTRODUCED_257);
293 constraint int_div(X_INTRODUCED_59,1440,X_INTRODUCED_260):: defines_var(X_INTRODUCED_260);
295 constraint int_div(X_INTRODUCED_60,1440,X_INTRODUCED_263):: defines_var(X_INTRODUCED_263);
297 constraint int_div(X_INTRODUCED_61,1440,X_INTRODUCED_266):: defines_var(X_INTRODUCED_266);
299 constraint int_div(X_INTRODUCED_62,1440,X_INTRODUCED_269):: defines_var(X_INTRODUCED_269);
301 constraint int_div(X_INTRODUCED_63,1440,X_INTRODUCED_272):: defines_var(X_INTRODUCED_272);
[all …]
H A Dchallenge05_1s_954.fzn237 constraint int_div(X_INTRODUCED_44,1440,X_INTRODUCED_203):: defines_var(X_INTRODUCED_203);
239 constraint int_div(X_INTRODUCED_45,1440,X_INTRODUCED_206):: defines_var(X_INTRODUCED_206);
241 constraint int_div(X_INTRODUCED_46,1440,X_INTRODUCED_209):: defines_var(X_INTRODUCED_209);
243 constraint int_div(X_INTRODUCED_47,1440,X_INTRODUCED_212):: defines_var(X_INTRODUCED_212);
245 constraint int_div(X_INTRODUCED_48,1440,X_INTRODUCED_215):: defines_var(X_INTRODUCED_215);
247 constraint int_div(X_INTRODUCED_49,1440,X_INTRODUCED_218):: defines_var(X_INTRODUCED_218);
249 constraint int_div(X_INTRODUCED_50,1440,X_INTRODUCED_221):: defines_var(X_INTRODUCED_221);
251 constraint int_div(X_INTRODUCED_51,1440,X_INTRODUCED_224):: defines_var(X_INTRODUCED_224);
253 constraint int_div(X_INTRODUCED_52,1440,X_INTRODUCED_227):: defines_var(X_INTRODUCED_227);
255 constraint int_div(X_INTRODUCED_53,1440,X_INTRODUCED_230):: defines_var(X_INTRODUCED_230);
[all …]
H A Dchallenge04_1s_626.fzn218 constraint int_div(X_INTRODUCED_40,1440,X_INTRODUCED_186):: defines_var(X_INTRODUCED_186);
220 constraint int_div(X_INTRODUCED_41,1440,X_INTRODUCED_189):: defines_var(X_INTRODUCED_189);
222 constraint int_div(X_INTRODUCED_42,1440,X_INTRODUCED_192):: defines_var(X_INTRODUCED_192);
224 constraint int_div(X_INTRODUCED_43,1440,X_INTRODUCED_195):: defines_var(X_INTRODUCED_195);
226 constraint int_div(X_INTRODUCED_44,1440,X_INTRODUCED_198):: defines_var(X_INTRODUCED_198);
228 constraint int_div(X_INTRODUCED_45,1440,X_INTRODUCED_201):: defines_var(X_INTRODUCED_201);
230 constraint int_div(X_INTRODUCED_46,1440,X_INTRODUCED_204):: defines_var(X_INTRODUCED_204);
232 constraint int_div(X_INTRODUCED_47,1440,X_INTRODUCED_207):: defines_var(X_INTRODUCED_207);
234 constraint int_div(X_INTRODUCED_48,1440,X_INTRODUCED_210):: defines_var(X_INTRODUCED_210);
236 constraint int_div(X_INTRODUCED_49,1440,X_INTRODUCED_213):: defines_var(X_INTRODUCED_213);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/above10min/tdtsp/
H A Dinst_20_36_10.fzn568 constraint int_div(0,360,0);
572 constraint int_div(X_INTRODUCED_64,360,X_INTRODUCED_401):: defines_var(X_INTRODUCED_401);
576 constraint int_div(X_INTRODUCED_65,360,X_INTRODUCED_409):: defines_var(X_INTRODUCED_409);
580 constraint int_div(X_INTRODUCED_66,360,X_INTRODUCED_417):: defines_var(X_INTRODUCED_417);
584 constraint int_div(X_INTRODUCED_67,360,X_INTRODUCED_425):: defines_var(X_INTRODUCED_425);
588 constraint int_div(X_INTRODUCED_68,360,X_INTRODUCED_433):: defines_var(X_INTRODUCED_433);
592 constraint int_div(X_INTRODUCED_69,360,X_INTRODUCED_441):: defines_var(X_INTRODUCED_441);
596 constraint int_div(X_INTRODUCED_70,360,X_INTRODUCED_449):: defines_var(X_INTRODUCED_449);
600 constraint int_div(X_INTRODUCED_71,360,X_INTRODUCED_457):: defines_var(X_INTRODUCED_457);
604 constraint int_div(X_INTRODUCED_72,360,X_INTRODUCED_465):: defines_var(X_INTRODUCED_465);
[all …]
H A Dinst_20_26_00.fzn568 constraint int_div(0,360,0);
572 constraint int_div(X_INTRODUCED_64,360,X_INTRODUCED_401):: defines_var(X_INTRODUCED_401);
576 constraint int_div(X_INTRODUCED_65,360,X_INTRODUCED_409):: defines_var(X_INTRODUCED_409);
580 constraint int_div(X_INTRODUCED_66,360,X_INTRODUCED_417):: defines_var(X_INTRODUCED_417);
584 constraint int_div(X_INTRODUCED_67,360,X_INTRODUCED_425):: defines_var(X_INTRODUCED_425);
588 constraint int_div(X_INTRODUCED_68,360,X_INTRODUCED_433):: defines_var(X_INTRODUCED_433);
592 constraint int_div(X_INTRODUCED_69,360,X_INTRODUCED_441):: defines_var(X_INTRODUCED_441);
596 constraint int_div(X_INTRODUCED_70,360,X_INTRODUCED_449):: defines_var(X_INTRODUCED_449);
600 constraint int_div(X_INTRODUCED_71,360,X_INTRODUCED_457):: defines_var(X_INTRODUCED_457);
604 constraint int_div(X_INTRODUCED_72,360,X_INTRODUCED_465):: defines_var(X_INTRODUCED_465);
[all …]
H A Dinst_10_58_20.fzn229 constraint int_div(X_INTRODUCED_97,360,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98);
279 constraint int_div(0,360,0);
283 constraint int_div(X_INTRODUCED_34,360,X_INTRODUCED_202):: defines_var(X_INTRODUCED_202);
287 constraint int_div(X_INTRODUCED_35,360,X_INTRODUCED_210):: defines_var(X_INTRODUCED_210);
291 constraint int_div(X_INTRODUCED_36,360,X_INTRODUCED_218):: defines_var(X_INTRODUCED_218);
295 constraint int_div(X_INTRODUCED_37,360,X_INTRODUCED_226):: defines_var(X_INTRODUCED_226);
299 constraint int_div(X_INTRODUCED_38,360,X_INTRODUCED_234):: defines_var(X_INTRODUCED_234);
303 constraint int_div(X_INTRODUCED_39,360,X_INTRODUCED_242):: defines_var(X_INTRODUCED_242);
307 constraint int_div(X_INTRODUCED_40,360,X_INTRODUCED_250):: defines_var(X_INTRODUCED_250);
311 constraint int_div(X_INTRODUCED_41,360,X_INTRODUCED_258):: defines_var(X_INTRODUCED_258);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo10min/tdtsp/
H A Dinst_10_35_20.fzn229 constraint int_div(X_INTRODUCED_97,360,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98);
279 constraint int_div(0,360,0);
283 constraint int_div(X_INTRODUCED_34,360,X_INTRODUCED_202):: defines_var(X_INTRODUCED_202);
287 constraint int_div(X_INTRODUCED_35,360,X_INTRODUCED_210):: defines_var(X_INTRODUCED_210);
291 constraint int_div(X_INTRODUCED_36,360,X_INTRODUCED_218):: defines_var(X_INTRODUCED_218);
295 constraint int_div(X_INTRODUCED_37,360,X_INTRODUCED_226):: defines_var(X_INTRODUCED_226);
299 constraint int_div(X_INTRODUCED_38,360,X_INTRODUCED_234):: defines_var(X_INTRODUCED_234);
303 constraint int_div(X_INTRODUCED_39,360,X_INTRODUCED_242):: defines_var(X_INTRODUCED_242);
307 constraint int_div(X_INTRODUCED_40,360,X_INTRODUCED_250):: defines_var(X_INTRODUCED_250);
311 constraint int_div(X_INTRODUCED_41,360,X_INTRODUCED_258):: defines_var(X_INTRODUCED_258);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo1hour/tdtsp/
H A Dinst_10_24_10.fzn229 constraint int_div(X_INTRODUCED_119,360,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121);
279 constraint int_div(0,360,0);
283 constraint int_div(X_INTRODUCED_34,360,X_INTRODUCED_268):: defines_var(X_INTRODUCED_268);
287 constraint int_div(X_INTRODUCED_35,360,X_INTRODUCED_279):: defines_var(X_INTRODUCED_279);
291 constraint int_div(X_INTRODUCED_36,360,X_INTRODUCED_290):: defines_var(X_INTRODUCED_290);
295 constraint int_div(X_INTRODUCED_37,360,X_INTRODUCED_301):: defines_var(X_INTRODUCED_301);
299 constraint int_div(X_INTRODUCED_38,360,X_INTRODUCED_312):: defines_var(X_INTRODUCED_312);
303 constraint int_div(X_INTRODUCED_39,360,X_INTRODUCED_323):: defines_var(X_INTRODUCED_323);
307 constraint int_div(X_INTRODUCED_40,360,X_INTRODUCED_334):: defines_var(X_INTRODUCED_334);
311 constraint int_div(X_INTRODUCED_41,360,X_INTRODUCED_345):: defines_var(X_INTRODUCED_345);
[all …]
H A Dinst_10_34_00.fzn229 constraint int_div(X_INTRODUCED_119,360,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121);
279 constraint int_div(0,360,0);
283 constraint int_div(X_INTRODUCED_34,360,X_INTRODUCED_268):: defines_var(X_INTRODUCED_268);
287 constraint int_div(X_INTRODUCED_35,360,X_INTRODUCED_279):: defines_var(X_INTRODUCED_279);
291 constraint int_div(X_INTRODUCED_36,360,X_INTRODUCED_290):: defines_var(X_INTRODUCED_290);
295 constraint int_div(X_INTRODUCED_37,360,X_INTRODUCED_301):: defines_var(X_INTRODUCED_301);
299 constraint int_div(X_INTRODUCED_38,360,X_INTRODUCED_312):: defines_var(X_INTRODUCED_312);
303 constraint int_div(X_INTRODUCED_39,360,X_INTRODUCED_323):: defines_var(X_INTRODUCED_323);
307 constraint int_div(X_INTRODUCED_40,360,X_INTRODUCED_334):: defines_var(X_INTRODUCED_334);
311 constraint int_div(X_INTRODUCED_41,360,X_INTRODUCED_345):: defines_var(X_INTRODUCED_345);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5min/tdtsp/
H A Dinst_10_42_00.fzn229 constraint int_div(X_INTRODUCED_97,360,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98);
279 constraint int_div(0,360,0);
283 constraint int_div(X_INTRODUCED_34,360,X_INTRODUCED_202):: defines_var(X_INTRODUCED_202);
287 constraint int_div(X_INTRODUCED_35,360,X_INTRODUCED_210):: defines_var(X_INTRODUCED_210);
291 constraint int_div(X_INTRODUCED_36,360,X_INTRODUCED_218):: defines_var(X_INTRODUCED_218);
295 constraint int_div(X_INTRODUCED_37,360,X_INTRODUCED_226):: defines_var(X_INTRODUCED_226);
299 constraint int_div(X_INTRODUCED_38,360,X_INTRODUCED_234):: defines_var(X_INTRODUCED_234);
303 constraint int_div(X_INTRODUCED_39,360,X_INTRODUCED_242):: defines_var(X_INTRODUCED_242);
307 constraint int_div(X_INTRODUCED_40,360,X_INTRODUCED_250):: defines_var(X_INTRODUCED_250);
311 constraint int_div(X_INTRODUCED_41,360,X_INTRODUCED_258):: defines_var(X_INTRODUCED_258);
[all …]
/dports/math/jacop/jacop-4.8.0/src/test/fz/above1hour/tdtsp/
H A Dinst_10_42_10.fzn229 constraint int_div(X_INTRODUCED_119,360,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121);
279 constraint int_div(0,360,0);
283 constraint int_div(X_INTRODUCED_34,360,X_INTRODUCED_268):: defines_var(X_INTRODUCED_268);
287 constraint int_div(X_INTRODUCED_35,360,X_INTRODUCED_279):: defines_var(X_INTRODUCED_279);
291 constraint int_div(X_INTRODUCED_36,360,X_INTRODUCED_290):: defines_var(X_INTRODUCED_290);
295 constraint int_div(X_INTRODUCED_37,360,X_INTRODUCED_301):: defines_var(X_INTRODUCED_301);
299 constraint int_div(X_INTRODUCED_38,360,X_INTRODUCED_312):: defines_var(X_INTRODUCED_312);
303 constraint int_div(X_INTRODUCED_39,360,X_INTRODUCED_323):: defines_var(X_INTRODUCED_323);
307 constraint int_div(X_INTRODUCED_40,360,X_INTRODUCED_334):: defines_var(X_INTRODUCED_334);
311 constraint int_div(X_INTRODUCED_41,360,X_INTRODUCED_345):: defines_var(X_INTRODUCED_345);
[all …]

12345678910>>...14