Home
last modified time | relevance | path

Searched refs:array_bool_or (Results 1 – 25 of 1589) sorted by relevance

12345678910>>...64

/dports/math/jacop/jacop-4.8.0/src/test/fz/
H A DGridColoring.fzn6142 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 D17_b.fzn404 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 D10_5.fzn430 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 Dschedule2.fzn149 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 Dcoins_41_58.fzn69 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 Dlinear-to-program.fzn2622 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 D4_8.fzn229 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 Dcoins_41_58.fzn76 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 Dst103_28.fzn9577 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 Dst103_44.fzn9573 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 Dst103_20.fzn9445 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 Dst103_36.fzn9485 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 Dst103_6.fzn4746 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 Dst103_15.fzn6422 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 Dst103_16.fzn7410 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 Dst103_31.fzn5854 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 Dst103_46.fzn4856 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 Dst103_24.fzn7486 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 Dst103_40.fzn7588 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 Dst51_23.fzn1424 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 Dst103_5.fzn2974 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 Dst51_32.fzn1688 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 Dst51_15.fzn1500 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 Dst103_3.fzn3491 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 Dst103_35.fzn3421 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 …]

12345678910>>...64