/dports/math/jacop/jacop-4.8.0/src/test/fz/ |
H A D | GridColoring.fzn | 6142 constraint array_bool_or([X_INTRODUCED_325,X_INTRODUCED_326,X_INTRODUCED_327,X_INTRODUCED_328],true… 6143 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_329,X_INTRODUCED_330,X_INTRODUCED_331],true… 6144 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_332,X_INTRODUCED_333,X_INTRODUCED_334],true… 6145 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_335,X_INTRODUCED_336,X_INTRODUCED_337],true… 6146 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_338,X_INTRODUCED_339,X_INTRODUCED_340],true… 6147 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_341,X_INTRODUCED_342,X_INTRODUCED_343],true… 6148 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_344,X_INTRODUCED_345,X_INTRODUCED_346],true… 6149 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_347,X_INTRODUCED_348,X_INTRODUCED_349],true… 6150 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_350,X_INTRODUCED_351,X_INTRODUCED_352],true… 6151 constraint array_bool_or([X_INTRODUCED_327,X_INTRODUCED_353,X_INTRODUCED_354,X_INTRODUCED_355],true… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/17_b/ |
H A D | 17_b.fzn | 404 constraint array_bool_or([X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30],true); 409 constraint array_bool_or([X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_34,X_INTRODUCED_35],true); 414 constraint array_bool_or([X_INTRODUCED_37,X_INTRODUCED_38,X_INTRODUCED_39,X_INTRODUCED_40],true); 417 constraint array_bool_or([X_INTRODUCED_29,X_INTRODUCED_30,X_INTRODUCED_43,X_INTRODUCED_44],true); 420 constraint array_bool_or([X_INTRODUCED_34,X_INTRODUCED_35,X_INTRODUCED_46,X_INTRODUCED_47],true); 423 constraint array_bool_or([X_INTRODUCED_39,X_INTRODUCED_40,X_INTRODUCED_49,X_INTRODUCED_50],true); 424 constraint array_bool_or([X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_43,X_INTRODUCED_44],true); 425 constraint array_bool_or([X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_46,X_INTRODUCED_47],true); 426 constraint array_bool_or([X_INTRODUCED_37,X_INTRODUCED_38,X_INTRODUCED_49,X_INTRODUCED_50],true); 429 constraint array_bool_or([X_INTRODUCED_29,X_INTRODUCED_30,X_INTRODUCED_57,X_INTRODUCED_58],true); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo1min/grid-colouring/ |
H A D | 10_5.fzn | 430 constraint array_bool_or([X_INTRODUCED_52,X_INTRODUCED_53,X_INTRODUCED_54,X_INTRODUCED_55],true); 431 constraint array_bool_or([X_INTRODUCED_54,X_INTRODUCED_56,X_INTRODUCED_57,X_INTRODUCED_58],true); 432 constraint array_bool_or([X_INTRODUCED_54,X_INTRODUCED_59,X_INTRODUCED_60,X_INTRODUCED_61],true); 433 constraint array_bool_or([X_INTRODUCED_54,X_INTRODUCED_62,X_INTRODUCED_63,X_INTRODUCED_64],true); 434 constraint array_bool_or([X_INTRODUCED_52,X_INTRODUCED_56,X_INTRODUCED_65,X_INTRODUCED_66],true); 435 constraint array_bool_or([X_INTRODUCED_52,X_INTRODUCED_59,X_INTRODUCED_67,X_INTRODUCED_68],true); 436 constraint array_bool_or([X_INTRODUCED_52,X_INTRODUCED_62,X_INTRODUCED_69,X_INTRODUCED_70],true); 437 constraint array_bool_or([X_INTRODUCED_56,X_INTRODUCED_59,X_INTRODUCED_71,X_INTRODUCED_72],true); 438 constraint array_bool_or([X_INTRODUCED_56,X_INTRODUCED_62,X_INTRODUCED_73,X_INTRODUCED_74],true); 439 constraint array_bool_or([X_INTRODUCED_59,X_INTRODUCED_62,X_INTRODUCED_75,X_INTRODUCED_76],true); [all …]
|
/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/ |
H A D | schedule2.fzn | 149 constraint array_bool_or([BOOL____00001, BOOL____00002], true); 150 constraint array_bool_or([BOOL____00002, BOOL____00001], true); 151 constraint array_bool_or([BOOL____00003, BOOL____00004], true); 152 constraint array_bool_or([BOOL____00004, BOOL____00003], true); 153 constraint array_bool_or([BOOL____00005, BOOL____00006], true); 154 constraint array_bool_or([BOOL____00006, BOOL____00005], true); 155 constraint array_bool_or([BOOL____00007, BOOL____00008], true); 156 constraint array_bool_or([BOOL____00008, BOOL____00007], true); 157 constraint array_bool_or([BOOL____00009, BOOL____00010], true); 158 constraint array_bool_or([BOOL____00010, BOOL____00009], true); [all …]
|
H A D | coins_41_58.fzn | 69 constraint array_bool_or([BOOL____00002, BOOL____00017, BOOL____00004], true); 70 constraint array_bool_or([BOOL____00002, BOOL____00024, BOOL____00006], true); 71 constraint array_bool_or([BOOL____00002, BOOL____00031, BOOL____00008], true); 72 constraint array_bool_or([BOOL____00002, BOOL____00038, BOOL____00010], true); 73 constraint array_bool_or([BOOL____00002, BOOL____00045, BOOL____00012], true); 74 constraint array_bool_or([BOOL____00002, BOOL____00052, BOOL____00014], true); 75 constraint array_bool_or([BOOL____00002, BOOL____00059, BOOL____00016], true); 76 constraint array_bool_or([BOOL____00004, BOOL____00003, BOOL____00002], true); 77 constraint array_bool_or([BOOL____00004, BOOL____00025, BOOL____00006], true); 78 constraint array_bool_or([BOOL____00004, BOOL____00032, BOOL____00008], true); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/linear-to-program/ |
H A D | linear-to-program.fzn | 2622 constraint array_bool_or([X_INTRODUCED_292_,X_INTRODUCED_293_],true); 2623 constraint array_bool_or([X_INTRODUCED_294_,X_INTRODUCED_295_],true); 2624 constraint array_bool_or([X_INTRODUCED_296_,X_INTRODUCED_297_],true); 2625 constraint array_bool_or([X_INTRODUCED_298_,X_INTRODUCED_299_],true); 2626 constraint array_bool_or([X_INTRODUCED_300_,X_INTRODUCED_301_],true); 2627 constraint array_bool_or([X_INTRODUCED_302_,X_INTRODUCED_303_],true); 2628 constraint array_bool_or([X_INTRODUCED_304_,X_INTRODUCED_305_],true); 2629 constraint array_bool_or([X_INTRODUCED_306_,X_INTRODUCED_307_],true); 2630 constraint array_bool_or([X_INTRODUCED_308_,X_INTRODUCED_309_],true); 2631 constraint array_bool_or([X_INTRODUCED_310_,X_INTRODUCED_311_],true); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/grid-colouring/ |
H A D | 4_8.fzn | 229 constraint array_bool_or([X_INTRODUCED_34,X_INTRODUCED_35,X_INTRODUCED_36,X_INTRODUCED_37],true); 230 constraint array_bool_or([X_INTRODUCED_36,X_INTRODUCED_38,X_INTRODUCED_39,X_INTRODUCED_40],true); 231 constraint array_bool_or([X_INTRODUCED_36,X_INTRODUCED_41,X_INTRODUCED_42,X_INTRODUCED_43],true); 232 constraint array_bool_or([X_INTRODUCED_36,X_INTRODUCED_44,X_INTRODUCED_45,X_INTRODUCED_46],true); 233 constraint array_bool_or([X_INTRODUCED_36,X_INTRODUCED_47,X_INTRODUCED_48,X_INTRODUCED_49],true); 234 constraint array_bool_or([X_INTRODUCED_36,X_INTRODUCED_50,X_INTRODUCED_51,X_INTRODUCED_52],true); 235 constraint array_bool_or([X_INTRODUCED_36,X_INTRODUCED_53,X_INTRODUCED_54,X_INTRODUCED_55],true); 236 constraint array_bool_or([X_INTRODUCED_34,X_INTRODUCED_38,X_INTRODUCED_56,X_INTRODUCED_57],true); 237 constraint array_bool_or([X_INTRODUCED_34,X_INTRODUCED_41,X_INTRODUCED_58,X_INTRODUCED_59],true); 238 constraint array_bool_or([X_INTRODUCED_34,X_INTRODUCED_44,X_INTRODUCED_60,X_INTRODUCED_61],true); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/coins_41_58/ |
H A D | coins_41_58.fzn | 76 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_10],true); 77 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_11,X_INTRODUCED_12],true); 78 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_13,X_INTRODUCED_14],true); 79 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_15,X_INTRODUCED_16],true); 80 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_17,X_INTRODUCED_18],true); 81 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_19,X_INTRODUCED_20],true); 82 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_21,X_INTRODUCED_22],true); 83 constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_23],true); 84 constraint array_bool_or([X_INTRODUCED_9,X_INTRODUCED_11,X_INTRODUCED_24],true); 85 constraint array_bool_or([X_INTRODUCED_9,X_INTRODUCED_13,X_INTRODUCED_25],true); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/above1hour/rcpsp-data_at/ |
H A D | st103_28.fzn | 9577 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 9578 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 9579 constraint array_bool_or([X_INTRODUCED_211,X_INTRODUCED_212],true); 9580 constraint array_bool_or([X_INTRODUCED_213,X_INTRODUCED_214],true); 9581 constraint array_bool_or([X_INTRODUCED_215,X_INTRODUCED_216],true); 9582 constraint array_bool_or([X_INTRODUCED_217,X_INTRODUCED_218],true); 9583 constraint array_bool_or([X_INTRODUCED_219,X_INTRODUCED_220],true); 9584 constraint array_bool_or([X_INTRODUCED_221,X_INTRODUCED_222],true); 9585 constraint array_bool_or([X_INTRODUCED_223,X_INTRODUCED_224],true); 9586 constraint array_bool_or([X_INTRODUCED_225,X_INTRODUCED_226],true); [all …]
|
H A D | st103_44.fzn | 9573 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 9574 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 9575 constraint array_bool_or([X_INTRODUCED_207,X_INTRODUCED_208],true); 9576 constraint array_bool_or([X_INTRODUCED_212,X_INTRODUCED_213],true); 9577 constraint array_bool_or([X_INTRODUCED_214,X_INTRODUCED_215],true); 9578 constraint array_bool_or([X_INTRODUCED_216,X_INTRODUCED_217],true); 9579 constraint array_bool_or([X_INTRODUCED_218,X_INTRODUCED_219],true); 9580 constraint array_bool_or([X_INTRODUCED_220,X_INTRODUCED_221],true); 9581 constraint array_bool_or([X_INTRODUCED_222,X_INTRODUCED_223],true); 9582 constraint array_bool_or([X_INTRODUCED_224,X_INTRODUCED_225],true); [all …]
|
H A D | st103_20.fzn | 9445 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 9446 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 9447 constraint array_bool_or([X_INTRODUCED_208,X_INTRODUCED_209],true); 9448 constraint array_bool_or([X_INTRODUCED_211,X_INTRODUCED_212],true); 9449 constraint array_bool_or([X_INTRODUCED_213,X_INTRODUCED_214],true); 9450 constraint array_bool_or([X_INTRODUCED_215,X_INTRODUCED_216],true); 9451 constraint array_bool_or([X_INTRODUCED_217,X_INTRODUCED_218],true); 9452 constraint array_bool_or([X_INTRODUCED_219,X_INTRODUCED_220],true); 9453 constraint array_bool_or([X_INTRODUCED_221,X_INTRODUCED_222],true); 9454 constraint array_bool_or([X_INTRODUCED_223,X_INTRODUCED_224],true); [all …]
|
H A D | st103_36.fzn | 9485 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 9486 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 9487 constraint array_bool_or([X_INTRODUCED_208,X_INTRODUCED_209],true); 9488 constraint array_bool_or([X_INTRODUCED_210,X_INTRODUCED_211],true); 9489 constraint array_bool_or([X_INTRODUCED_212,X_INTRODUCED_213],true); 9490 constraint array_bool_or([X_INTRODUCED_214,X_INTRODUCED_215],true); 9491 constraint array_bool_or([X_INTRODUCED_216,X_INTRODUCED_217],true); 9492 constraint array_bool_or([X_INTRODUCED_218,X_INTRODUCED_219],true); 9493 constraint array_bool_or([X_INTRODUCED_220,X_INTRODUCED_221],true); 9494 constraint array_bool_or([X_INTRODUCED_222,X_INTRODUCED_223],true); [all …]
|
H A D | st103_6.fzn | 4746 constraint array_bool_or([X_INTRODUCED_188,X_INTRODUCED_189],true); 4747 constraint array_bool_or([X_INTRODUCED_191,X_INTRODUCED_192],true); 4748 constraint array_bool_or([X_INTRODUCED_193,X_INTRODUCED_194],true); 4749 constraint array_bool_or([X_INTRODUCED_195,X_INTRODUCED_196],true); 4750 constraint array_bool_or([X_INTRODUCED_197,X_INTRODUCED_198],true); 4751 constraint array_bool_or([X_INTRODUCED_199,X_INTRODUCED_200],true); 4752 constraint array_bool_or([X_INTRODUCED_202,X_INTRODUCED_203],true); 4753 constraint array_bool_or([X_INTRODUCED_204,X_INTRODUCED_205],true); 4754 constraint array_bool_or([X_INTRODUCED_206,X_INTRODUCED_207],true); 4755 constraint array_bool_or([X_INTRODUCED_209,X_INTRODUCED_210],true); [all …]
|
H A D | st103_15.fzn | 6422 constraint array_bool_or([X_INTRODUCED_180,X_INTRODUCED_181],true); 6423 constraint array_bool_or([X_INTRODUCED_182,X_INTRODUCED_183],true); 6424 constraint array_bool_or([X_INTRODUCED_184,X_INTRODUCED_185],true); 6425 constraint array_bool_or([X_INTRODUCED_186,X_INTRODUCED_187],true); 6426 constraint array_bool_or([X_INTRODUCED_188,X_INTRODUCED_189],true); 6427 constraint array_bool_or([X_INTRODUCED_191,X_INTRODUCED_192],true); 6428 constraint array_bool_or([X_INTRODUCED_193,X_INTRODUCED_194],true); 6429 constraint array_bool_or([X_INTRODUCED_195,X_INTRODUCED_196],true); 6430 constraint array_bool_or([X_INTRODUCED_198,X_INTRODUCED_199],true); 6431 constraint array_bool_or([X_INTRODUCED_201,X_INTRODUCED_202],true); [all …]
|
H A D | st103_16.fzn | 7410 constraint array_bool_or([X_INTRODUCED_183,X_INTRODUCED_184],true); 7411 constraint array_bool_or([X_INTRODUCED_186,X_INTRODUCED_187],true); 7412 constraint array_bool_or([X_INTRODUCED_188,X_INTRODUCED_189],true); 7413 constraint array_bool_or([X_INTRODUCED_190,X_INTRODUCED_191],true); 7414 constraint array_bool_or([X_INTRODUCED_192,X_INTRODUCED_193],true); 7415 constraint array_bool_or([X_INTRODUCED_194,X_INTRODUCED_195],true); 7416 constraint array_bool_or([X_INTRODUCED_196,X_INTRODUCED_197],true); 7417 constraint array_bool_or([X_INTRODUCED_198,X_INTRODUCED_199],true); 7418 constraint array_bool_or([X_INTRODUCED_200,X_INTRODUCED_201],true); 7419 constraint array_bool_or([X_INTRODUCED_202,X_INTRODUCED_203],true); [all …]
|
H A D | st103_31.fzn | 5854 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 5855 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 5856 constraint array_bool_or([X_INTRODUCED_207,X_INTRODUCED_208],true); 5857 constraint array_bool_or([X_INTRODUCED_209,X_INTRODUCED_210],true); 5858 constraint array_bool_or([X_INTRODUCED_211,X_INTRODUCED_212],true); 5859 constraint array_bool_or([X_INTRODUCED_213,X_INTRODUCED_214],true); 5860 constraint array_bool_or([X_INTRODUCED_215,X_INTRODUCED_216],true); 5861 constraint array_bool_or([X_INTRODUCED_217,X_INTRODUCED_218],true); 5862 constraint array_bool_or([X_INTRODUCED_219,X_INTRODUCED_220],true); 5863 constraint array_bool_or([X_INTRODUCED_221,X_INTRODUCED_222],true); [all …]
|
H A D | st103_46.fzn | 4856 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 4857 constraint array_bool_or([X_INTRODUCED_208,X_INTRODUCED_209],true); 4858 constraint array_bool_or([X_INTRODUCED_210,X_INTRODUCED_211],true); 4859 constraint array_bool_or([X_INTRODUCED_212,X_INTRODUCED_213],true); 4860 constraint array_bool_or([X_INTRODUCED_214,X_INTRODUCED_215],true); 4861 constraint array_bool_or([X_INTRODUCED_216,X_INTRODUCED_217],true); 4862 constraint array_bool_or([X_INTRODUCED_218,X_INTRODUCED_219],true); 4863 constraint array_bool_or([X_INTRODUCED_220,X_INTRODUCED_221],true); 4864 constraint array_bool_or([X_INTRODUCED_222,X_INTRODUCED_223],true); 4865 constraint array_bool_or([X_INTRODUCED_224,X_INTRODUCED_225],true); [all …]
|
H A D | st103_24.fzn | 7486 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 7487 constraint array_bool_or([X_INTRODUCED_206,X_INTRODUCED_207],true); 7488 constraint array_bool_or([X_INTRODUCED_208,X_INTRODUCED_209],true); 7489 constraint array_bool_or([X_INTRODUCED_210,X_INTRODUCED_211],true); 7490 constraint array_bool_or([X_INTRODUCED_212,X_INTRODUCED_213],true); 7491 constraint array_bool_or([X_INTRODUCED_214,X_INTRODUCED_215],true); 7492 constraint array_bool_or([X_INTRODUCED_216,X_INTRODUCED_217],true); 7493 constraint array_bool_or([X_INTRODUCED_218,X_INTRODUCED_219],true); 7494 constraint array_bool_or([X_INTRODUCED_220,X_INTRODUCED_221],true); 7495 constraint array_bool_or([X_INTRODUCED_222,X_INTRODUCED_223],true); [all …]
|
H A D | st103_40.fzn | 7588 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 7589 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 7590 constraint array_bool_or([X_INTRODUCED_209,X_INTRODUCED_210],true); 7591 constraint array_bool_or([X_INTRODUCED_211,X_INTRODUCED_212],true); 7592 constraint array_bool_or([X_INTRODUCED_213,X_INTRODUCED_214],true); 7593 constraint array_bool_or([X_INTRODUCED_215,X_INTRODUCED_216],true); 7594 constraint array_bool_or([X_INTRODUCED_217,X_INTRODUCED_218],true); 7595 constraint array_bool_or([X_INTRODUCED_219,X_INTRODUCED_220],true); 7596 constraint array_bool_or([X_INTRODUCED_221,X_INTRODUCED_222],true); 7597 constraint array_bool_or([X_INTRODUCED_223,X_INTRODUCED_224],true); [all …]
|
H A D | st51_23.fzn | 1424 constraint array_bool_or([X_INTRODUCED_99,X_INTRODUCED_100],true); 1425 constraint array_bool_or([X_INTRODUCED_101,X_INTRODUCED_102],true); 1426 constraint array_bool_or([X_INTRODUCED_106,X_INTRODUCED_107],true); 1427 constraint array_bool_or([X_INTRODUCED_108,X_INTRODUCED_109],true); 1428 constraint array_bool_or([X_INTRODUCED_110,X_INTRODUCED_111],true); 1429 constraint array_bool_or([X_INTRODUCED_112,X_INTRODUCED_113],true); 1430 constraint array_bool_or([X_INTRODUCED_114,X_INTRODUCED_115],true); 1431 constraint array_bool_or([X_INTRODUCED_116,X_INTRODUCED_117],true); 1432 constraint array_bool_or([X_INTRODUCED_118,X_INTRODUCED_119],true); 1433 constraint array_bool_or([X_INTRODUCED_120,X_INTRODUCED_121],true); [all …]
|
H A D | st103_5.fzn | 2974 constraint array_bool_or([X_INTRODUCED_185,X_INTRODUCED_186],true); 2975 constraint array_bool_or([X_INTRODUCED_187,X_INTRODUCED_188],true); 2976 constraint array_bool_or([X_INTRODUCED_189,X_INTRODUCED_190],true); 2977 constraint array_bool_or([X_INTRODUCED_191,X_INTRODUCED_192],true); 2978 constraint array_bool_or([X_INTRODUCED_193,X_INTRODUCED_194],true); 2979 constraint array_bool_or([X_INTRODUCED_196,X_INTRODUCED_197],true); 2980 constraint array_bool_or([X_INTRODUCED_198,X_INTRODUCED_199],true); 2981 constraint array_bool_or([X_INTRODUCED_201,X_INTRODUCED_202],true); 2982 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 2983 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); [all …]
|
H A D | st51_32.fzn | 1688 constraint array_bool_or([X_INTRODUCED_99,X_INTRODUCED_100],true); 1689 constraint array_bool_or([X_INTRODUCED_101,X_INTRODUCED_102],true); 1690 constraint array_bool_or([X_INTRODUCED_105,X_INTRODUCED_106],true); 1691 constraint array_bool_or([X_INTRODUCED_107,X_INTRODUCED_108],true); 1692 constraint array_bool_or([X_INTRODUCED_109,X_INTRODUCED_110],true); 1693 constraint array_bool_or([X_INTRODUCED_111,X_INTRODUCED_112],true); 1694 constraint array_bool_or([X_INTRODUCED_113,X_INTRODUCED_114],true); 1695 constraint array_bool_or([X_INTRODUCED_115,X_INTRODUCED_116],true); 1696 constraint array_bool_or([X_INTRODUCED_117,X_INTRODUCED_118],true); 1697 constraint array_bool_or([X_INTRODUCED_119,X_INTRODUCED_120],true); [all …]
|
H A D | st51_15.fzn | 1500 constraint array_bool_or([X_INTRODUCED_90,X_INTRODUCED_91],true); 1501 constraint array_bool_or([X_INTRODUCED_92,X_INTRODUCED_93],true); 1502 constraint array_bool_or([X_INTRODUCED_96,X_INTRODUCED_97],true); 1503 constraint array_bool_or([X_INTRODUCED_98,X_INTRODUCED_99],true); 1504 constraint array_bool_or([X_INTRODUCED_101,X_INTRODUCED_102],true); 1505 constraint array_bool_or([X_INTRODUCED_104,X_INTRODUCED_105],true); 1506 constraint array_bool_or([X_INTRODUCED_106,X_INTRODUCED_107],true); 1507 constraint array_bool_or([X_INTRODUCED_108,X_INTRODUCED_109],true); 1508 constraint array_bool_or([X_INTRODUCED_110,X_INTRODUCED_111],true); 1509 constraint array_bool_or([X_INTRODUCED_112,X_INTRODUCED_113],true); [all …]
|
H A D | st103_3.fzn | 3491 constraint array_bool_or([X_INTRODUCED_189,X_INTRODUCED_190],true); 3492 constraint array_bool_or([X_INTRODUCED_191,X_INTRODUCED_192],true); 3493 constraint array_bool_or([X_INTRODUCED_194,X_INTRODUCED_195],true); 3494 constraint array_bool_or([X_INTRODUCED_196,X_INTRODUCED_197],true); 3495 constraint array_bool_or([X_INTRODUCED_199,X_INTRODUCED_200],true); 3496 constraint array_bool_or([X_INTRODUCED_201,X_INTRODUCED_202],true); 3497 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 3498 constraint array_bool_or([X_INTRODUCED_206,X_INTRODUCED_207],true); 3499 constraint array_bool_or([X_INTRODUCED_208,X_INTRODUCED_209],true); 3500 constraint array_bool_or([X_INTRODUCED_210,X_INTRODUCED_211],true); [all …]
|
H A D | st103_35.fzn | 3421 constraint array_bool_or([X_INTRODUCED_203,X_INTRODUCED_204],true); 3422 constraint array_bool_or([X_INTRODUCED_205,X_INTRODUCED_206],true); 3423 constraint array_bool_or([X_INTRODUCED_207,X_INTRODUCED_208],true); 3424 constraint array_bool_or([X_INTRODUCED_209,X_INTRODUCED_210],true); 3425 constraint array_bool_or([X_INTRODUCED_211,X_INTRODUCED_212],true); 3426 constraint array_bool_or([X_INTRODUCED_213,X_INTRODUCED_214],true); 3427 constraint array_bool_or([X_INTRODUCED_215,X_INTRODUCED_216],true); 3428 constraint array_bool_or([X_INTRODUCED_217,X_INTRODUCED_218],true); 3429 constraint array_bool_or([X_INTRODUCED_219,X_INTRODUCED_220],true); 3430 constraint array_bool_or([X_INTRODUCED_221,X_INTRODUCED_222],true); [all …]
|