/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/ |
H A D | latin_square_card_puzzle.fzn | 66 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 D | collatz2.fzn | 128 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 D | number_generation.fzn | 88 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 D | guards_and_apples2.fzn | 18 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 D | chain_of_primes.fzn | 20 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 D | number_generation.fzn | 79 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 D | guards_and_apples2.fzn | 13 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 D | challenge19_31058f_2548.fzn | 850 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 D | challenge16_10720f_4243.fzn | 705 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 D | challenge06_1s_3927.fzn | 264 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 D | challenge01_0s_1913.fzn | 217 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 D | challenge02_0s_1139.fzn | 226 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 D | challenge10_15966f_2060.fzn | 317 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 D | challenge08_222f_3475.fzn | 317 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 D | challenge07_1s_133.fzn | 283 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 D | challenge05_1s_954.fzn | 237 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 D | challenge04_1s_626.fzn | 218 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 D | inst_20_36_10.fzn | 568 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 D | inst_20_26_00.fzn | 568 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 D | inst_10_58_20.fzn | 229 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 D | inst_10_35_20.fzn | 229 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 D | inst_10_24_10.fzn | 229 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 D | inst_10_34_00.fzn | 229 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 D | inst_10_42_00.fzn | 229 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 D | inst_10_42_10.fzn | 229 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 …]
|