/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/ |
H A D | mixing_party.fzn | 66890 constraint array_bool_and([BOOL____00001, BOOL____00002], BOOL____00181) :: defines_var(BOOL____001… 66891 constraint array_bool_and([BOOL____00001, BOOL____00273], BOOL____00363) :: defines_var(BOOL____003… 66892 constraint array_bool_and([BOOL____00001, BOOL____00453], BOOL____00543) :: defines_var(BOOL____005… 66893 constraint array_bool_and([BOOL____00001, BOOL____00633], BOOL____00723) :: defines_var(BOOL____007… 66894 constraint array_bool_and([BOOL____00001, BOOL____00813], BOOL____00903) :: defines_var(BOOL____009… 66895 constraint array_bool_and([BOOL____00001, BOOL____00993], BOOL____01083) :: defines_var(BOOL____010… 66896 constraint array_bool_and([BOOL____00001, BOOL____01173], BOOL____01263) :: defines_var(BOOL____012… 66897 constraint array_bool_and([BOOL____00001, BOOL____01353], BOOL____01443) :: defines_var(BOOL____014… 66898 constraint array_bool_and([BOOL____00001, BOOL____01533], BOOL____01623) :: defines_var(BOOL____016… 66899 constraint array_bool_and([BOOL____00001, BOOL____01713], BOOL____01803) :: defines_var(BOOL____018… [all …]
|
H A D | wolf_goat_cabbage.fzn | 796 constraint array_bool_and([goat[1], goat[6]], false); 799 constraint array_bool_and([goat[3], goat[4]], false); 801 constraint array_bool_and([goat[4], goat[9]], false); 804 constraint array_bool_and([goat[6], goat[7]], false); 806 constraint array_bool_and([goat[7], goat[12]], false); 809 constraint array_bool_and([goat[9], goat[10]], false); 894 constraint array_bool_and([wolf[1], wolf[6]], false); 897 constraint array_bool_and([wolf[3], wolf[4]], false); 899 constraint array_bool_and([wolf[4], wolf[9]], false); 902 constraint array_bool_and([wolf[6], wolf[7]], false); [all …]
|
H A D | message_sending.fzn | 574 constraint array_bool_and([BOOL____00001, BOOL____00002], BOOL____00004) :: defines_var(BOOL____000… 575 constraint array_bool_and([BOOL____00001, BOOL____00005], BOOL____00007) :: defines_var(BOOL____000… 576 constraint array_bool_and([BOOL____00001, BOOL____00008], BOOL____00010) :: defines_var(BOOL____000… 577 constraint array_bool_and([BOOL____00001, BOOL____00011], BOOL____00013) :: defines_var(BOOL____000… 578 constraint array_bool_and([BOOL____00001, BOOL____00014], BOOL____00016) :: defines_var(BOOL____000… 579 constraint array_bool_and([BOOL____00001, BOOL____00017], BOOL____00019) :: defines_var(BOOL____000… 580 constraint array_bool_and([BOOL____00001, BOOL____00020], BOOL____00022) :: defines_var(BOOL____000… 581 constraint array_bool_and([BOOL____00001, BOOL____00023], BOOL____00025) :: defines_var(BOOL____000… 582 constraint array_bool_and([BOOL____00001, BOOL____00026], BOOL____00028) :: defines_var(BOOL____000… 583 constraint array_bool_and([BOOL____00002, BOOL____00001], BOOL____00030) :: defines_var(BOOL____000… [all …]
|
H A D | all_paths_graph.fzn | 586 constraint array_bool_and([BOOL____00001, BOOL____00003], BOOL____00023) :: defines_var(BOOL____000… 587 constraint array_bool_and([BOOL____00001, BOOL____00005], BOOL____00025) :: defines_var(BOOL____000… 588 constraint array_bool_and([BOOL____00001, BOOL____00007], BOOL____00027) :: defines_var(BOOL____000… 589 constraint array_bool_and([BOOL____00001, BOOL____00009], BOOL____00029) :: defines_var(BOOL____000… 590 constraint array_bool_and([BOOL____00001, BOOL____00011], BOOL____00031) :: defines_var(BOOL____000… 591 constraint array_bool_and([BOOL____00001, BOOL____00013], BOOL____00033) :: defines_var(BOOL____000… 592 constraint array_bool_and([BOOL____00001, BOOL____00015], BOOL____00035) :: defines_var(BOOL____000… 593 constraint array_bool_and([BOOL____00001, BOOL____00017], BOOL____00037) :: defines_var(BOOL____000… 594 constraint array_bool_and([BOOL____00001, BOOL____00019], BOOL____00039) :: defines_var(BOOL____000… 595 constraint array_bool_and([BOOL____00003, BOOL____00001], BOOL____00041) :: defines_var(BOOL____000… [all …]
|
H A D | allocating_developments.fzn | 404 constraint array_bool_and([BOOL____00002, BOOL____00003], BOOL____00020) :: defines_var(BOOL____000… 405 constraint array_bool_and([BOOL____00002, BOOL____00004], BOOL____00021) :: defines_var(BOOL____000… 406 constraint array_bool_and([BOOL____00002, BOOL____00084], BOOL____00125) :: defines_var(BOOL____001… 407 constraint array_bool_and([BOOL____00002, BOOL____00090], BOOL____00126) :: defines_var(BOOL____001… 408 constraint array_bool_and([BOOL____00002, BOOL____00177], BOOL____00186) :: defines_var(BOOL____001… 409 constraint array_bool_and([BOOL____00002, BOOL____00178], BOOL____00187) :: defines_var(BOOL____001… 410 constraint array_bool_and([BOOL____00005, BOOL____00006], BOOL____00022) :: defines_var(BOOL____000… 411 constraint array_bool_and([BOOL____00005, BOOL____00007], BOOL____00023) :: defines_var(BOOL____000… 412 constraint array_bool_and([BOOL____00005, BOOL____00008], BOOL____00024) :: defines_var(BOOL____000… 413 constraint array_bool_and([BOOL____00005, BOOL____00081], BOOL____00127) :: defines_var(BOOL____001… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/ |
H A D | wolf_goat_cabbage.fzn | 996 constraint array_bool_and([goat[1], goat[6]], false); 1000 constraint array_bool_and([goat[3], goat[4]], false); 1002 constraint array_bool_and([goat[4], goat[9]], false); 1006 constraint array_bool_and([goat[6], goat[7]], false); 1008 constraint array_bool_and([goat[7], goat[12]], false); 1012 constraint array_bool_and([goat[9], goat[10]], false); 1114 constraint array_bool_and([wolf[1], wolf[6]], false); 1118 constraint array_bool_and([wolf[3], wolf[4]], false); 1120 constraint array_bool_and([wolf[4], wolf[9]], false); 1124 constraint array_bool_and([wolf[6], wolf[7]], false); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/flakyTests/upTo5sec/bibd/ |
H A D | 25_05_01.fzn | 21125 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_30],X_INTRODUCED_1669):: defines_var(X_INTRO… 21127 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_31],X_INTRODUCED_1671):: defines_var(X_INTRO… 21129 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_32],X_INTRODUCED_1673):: defines_var(X_INTRO… 21131 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_33],X_INTRODUCED_1675):: defines_var(X_INTRO… 21133 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_34],X_INTRODUCED_1677):: defines_var(X_INTRO… 21135 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_35],X_INTRODUCED_1679):: defines_var(X_INTRO… 21137 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_36],X_INTRODUCED_1681):: defines_var(X_INTRO… 21139 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_37],X_INTRODUCED_1683):: defines_var(X_INTRO… 21141 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_38],X_INTRODUCED_1685):: defines_var(X_INTRO… 21143 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_39],X_INTRODUCED_1687):: defines_var(X_INTRO… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/scriptTest/all_paths_graph/ |
H A D | all_paths_graph.fzn | 618 constraint array_bool_and([X_INTRODUCED_34],X_INTRODUCED_36):: defines_var(X_INTRODUCED_36); 620 constraint array_bool_and([X_INTRODUCED_40],X_INTRODUCED_41):: defines_var(X_INTRODUCED_41); 632 constraint array_bool_and([X_INTRODUCED_34,X_INTRODUCED_94],X_INTRODUCED_95):: defines_var(X_INTROD… 634 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_96],X_INTRODUCED_97):: defines_var(X_INTROD… 635 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_94],X_INTRODUCED_99):: defines_var(X_INTROD… 637 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_100],X_INTRODUCED_101):: defines_var(X_INTR… 638 constraint array_bool_and([X_INTRODUCED_45,X_INTRODUCED_100],X_INTRODUCED_103):: defines_var(X_INTR… 640 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_104],X_INTRODUCED_105):: defines_var(X_INTR… 641 constraint array_bool_and([X_INTRODUCED_50,X_INTRODUCED_100],X_INTRODUCED_107):: defines_var(X_INTR… 643 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_108],X_INTRODUCED_109):: defines_var(X_INTR… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/all_paths_graph/ |
H A D | all_paths_graph.fzn | 618 constraint array_bool_and([X_INTRODUCED_34],X_INTRODUCED_36):: defines_var(X_INTRODUCED_36); 620 constraint array_bool_and([X_INTRODUCED_40],X_INTRODUCED_41):: defines_var(X_INTRODUCED_41); 632 constraint array_bool_and([X_INTRODUCED_34,X_INTRODUCED_94],X_INTRODUCED_95):: defines_var(X_INTROD… 634 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_96],X_INTRODUCED_97):: defines_var(X_INTROD… 635 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_94],X_INTRODUCED_99):: defines_var(X_INTROD… 637 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_100],X_INTRODUCED_101):: defines_var(X_INTR… 638 constraint array_bool_and([X_INTRODUCED_45,X_INTRODUCED_100],X_INTRODUCED_103):: defines_var(X_INTR… 640 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_104],X_INTRODUCED_105):: defines_var(X_INTR… 641 constraint array_bool_and([X_INTRODUCED_50,X_INTRODUCED_100],X_INTRODUCED_107):: defines_var(X_INTR… 643 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_108],X_INTRODUCED_109):: defines_var(X_INTR… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/message_sending/ |
H A D | message_sending.fzn | 587 constraint array_bool_and([X_INTRODUCED_15],X_INTRODUCED_17):: defines_var(X_INTRODUCED_17); 589 constraint array_bool_and([X_INTRODUCED_21],X_INTRODUCED_22):: defines_var(X_INTRODUCED_22); 602 constraint array_bool_and([X_INTRODUCED_15,X_INTRODUCED_76],X_INTRODUCED_77):: defines_var(X_INTROD… 604 constraint array_bool_and([X_INTRODUCED_13,X_INTRODUCED_78],X_INTRODUCED_79):: defines_var(X_INTROD… 605 constraint array_bool_and([X_INTRODUCED_21,X_INTRODUCED_76],X_INTRODUCED_81):: defines_var(X_INTROD… 607 constraint array_bool_and([X_INTRODUCED_13,X_INTRODUCED_82],X_INTRODUCED_83):: defines_var(X_INTROD… 608 constraint array_bool_and([X_INTRODUCED_26,X_INTRODUCED_82],X_INTRODUCED_85):: defines_var(X_INTROD… 610 constraint array_bool_and([X_INTRODUCED_21,X_INTRODUCED_86],X_INTRODUCED_87):: defines_var(X_INTROD… 611 constraint array_bool_and([X_INTRODUCED_31,X_INTRODUCED_82],X_INTRODUCED_89):: defines_var(X_INTROD… 613 constraint array_bool_and([X_INTRODUCED_21,X_INTRODUCED_90],X_INTRODUCED_91):: defines_var(X_INTROD… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/scriptGolden/testFzn/all_paths_graph/ |
H A D | all_paths_graph.fzn | 618 constraint array_bool_and([X_INTRODUCED_34],X_INTRODUCED_36):: defines_var(X_INTRODUCED_36); 620 constraint array_bool_and([X_INTRODUCED_40],X_INTRODUCED_41):: defines_var(X_INTRODUCED_41); 632 constraint array_bool_and([X_INTRODUCED_34,X_INTRODUCED_94],X_INTRODUCED_95):: defines_var(X_INTROD… 634 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_96],X_INTRODUCED_97):: defines_var(X_INTROD… 635 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_94],X_INTRODUCED_99):: defines_var(X_INTROD… 637 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_100],X_INTRODUCED_101):: defines_var(X_INTR… 638 constraint array_bool_and([X_INTRODUCED_45,X_INTRODUCED_100],X_INTRODUCED_103):: defines_var(X_INTR… 640 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_104],X_INTRODUCED_105):: defines_var(X_INTR… 641 constraint array_bool_and([X_INTRODUCED_50,X_INTRODUCED_100],X_INTRODUCED_107):: defines_var(X_INTR… 643 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_108],X_INTRODUCED_109):: defines_var(X_INTR… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/bibd/ |
H A D | 15_03_01.fzn | 9385 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_35],X_INTRODUCED_1204):: defines_var(X_INTRO… 9387 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_36],X_INTRODUCED_1206):: defines_var(X_INTRO… 9389 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_37],X_INTRODUCED_1208):: defines_var(X_INTRO… 9391 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_38],X_INTRODUCED_1210):: defines_var(X_INTRO… 9393 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_39],X_INTRODUCED_1212):: defines_var(X_INTRO… 9395 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_40],X_INTRODUCED_1214):: defines_var(X_INTRO… 9397 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_41],X_INTRODUCED_1216):: defines_var(X_INTRO… 9399 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_42],X_INTRODUCED_1218):: defines_var(X_INTRO… 9401 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_43],X_INTRODUCED_1220):: defines_var(X_INTRO… 9403 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_44],X_INTRODUCED_1222):: defines_var(X_INTRO… [all …]
|
H A D | 19_03_01.fzn | 23465 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_57],X_INTRODUCED_2398):: defines_var(X_INTRO… 23467 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_58],X_INTRODUCED_2400):: defines_var(X_INTRO… 23469 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_59],X_INTRODUCED_2402):: defines_var(X_INTRO… 23471 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_60],X_INTRODUCED_2404):: defines_var(X_INTRO… 23473 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_61],X_INTRODUCED_2406):: defines_var(X_INTRO… 23475 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_62],X_INTRODUCED_2408):: defines_var(X_INTRO… 23477 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_63],X_INTRODUCED_2410):: defines_var(X_INTRO… 23479 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_64],X_INTRODUCED_2412):: defines_var(X_INTRO… 23481 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_65],X_INTRODUCED_2414):: defines_var(X_INTRO… 23483 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_66],X_INTRODUCED_2416):: defines_var(X_INTRO… [all …]
|
H A D | 16_04_01.fzn | 6180 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_20],X_INTRODUCED_752):: defines_var(X_INTROD… 6182 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_21],X_INTRODUCED_754):: defines_var(X_INTROD… 6184 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_22],X_INTRODUCED_756):: defines_var(X_INTROD… 6186 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_23],X_INTRODUCED_758):: defines_var(X_INTROD… 6188 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_24],X_INTRODUCED_760):: defines_var(X_INTROD… 6190 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_25],X_INTRODUCED_762):: defines_var(X_INTROD… 6192 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_26],X_INTRODUCED_764):: defines_var(X_INTROD… 6194 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_27],X_INTRODUCED_766):: defines_var(X_INTROD… 6196 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_28],X_INTRODUCED_768):: defines_var(X_INTROD… 6198 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_29],X_INTRODUCED_770):: defines_var(X_INTROD… [all …]
|
H A D | 15_07_03.fzn | 4184 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_15],X_INTRODUCED_543):: defines_var(X_INTROD… 4186 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_16],X_INTRODUCED_545):: defines_var(X_INTROD… 4188 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_17],X_INTRODUCED_547):: defines_var(X_INTROD… 4190 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_18],X_INTRODUCED_549):: defines_var(X_INTROD… 4192 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_19],X_INTRODUCED_551):: defines_var(X_INTROD… 4194 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_20],X_INTRODUCED_553):: defines_var(X_INTROD… 4196 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_21],X_INTRODUCED_555):: defines_var(X_INTROD… 4198 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_22],X_INTRODUCED_557):: defines_var(X_INTROD… 4200 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_23],X_INTRODUCED_559):: defines_var(X_INTROD… 4202 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_24],X_INTRODUCED_561):: defines_var(X_INTROD… [all …]
|
H A D | 13_03_01.fzn | 5421 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_26],X_INTRODUCED_797):: defines_var(X_INTROD… 5423 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_27],X_INTRODUCED_799):: defines_var(X_INTROD… 5425 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_28],X_INTRODUCED_801):: defines_var(X_INTROD… 5427 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_29],X_INTRODUCED_803):: defines_var(X_INTROD… 5429 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_30],X_INTRODUCED_805):: defines_var(X_INTROD… 5431 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_31],X_INTRODUCED_807):: defines_var(X_INTROD… 5433 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_32],X_INTRODUCED_809):: defines_var(X_INTROD… 5435 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_33],X_INTRODUCED_811):: defines_var(X_INTROD… 5437 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_34],X_INTRODUCED_813):: defines_var(X_INTROD… 5439 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_35],X_INTRODUCED_815):: defines_var(X_INTROD… [all …]
|
H A D | 11_05_02.fzn | 1792 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_11],X_INTRODUCED_311):: defines_var(X_INTROD… 1794 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_12],X_INTRODUCED_313):: defines_var(X_INTROD… 1796 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_13],X_INTRODUCED_315):: defines_var(X_INTROD… 1798 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_14],X_INTRODUCED_317):: defines_var(X_INTROD… 1800 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_15],X_INTRODUCED_319):: defines_var(X_INTROD… 1802 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_16],X_INTRODUCED_321):: defines_var(X_INTROD… 1804 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_17],X_INTRODUCED_323):: defines_var(X_INTROD… 1806 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_18],X_INTRODUCED_325):: defines_var(X_INTROD… 1808 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_19],X_INTRODUCED_327):: defines_var(X_INTROD… 1810 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_20],X_INTRODUCED_329):: defines_var(X_INTROD… [all …]
|
H A D | 09_03_01.fzn | 1343 constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_12],X_INTRODUCED_258):: defines_var(X_INTROD… 1345 constraint array_bool_and([X_INTRODUCED_1,X_INTRODUCED_13],X_INTRODUCED_260):: defines_var(X_INTROD… 1347 constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_14],X_INTRODUCED_262):: defines_var(X_INTROD… 1349 constraint array_bool_and([X_INTRODUCED_3,X_INTRODUCED_15],X_INTRODUCED_264):: defines_var(X_INTROD… 1351 constraint array_bool_and([X_INTRODUCED_4,X_INTRODUCED_16],X_INTRODUCED_266):: defines_var(X_INTROD… 1353 constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_17],X_INTRODUCED_268):: defines_var(X_INTROD… 1355 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_18],X_INTRODUCED_270):: defines_var(X_INTROD… 1357 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_19],X_INTRODUCED_272):: defines_var(X_INTROD… 1359 constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_20],X_INTRODUCED_274):: defines_var(X_INTROD… 1361 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_21],X_INTRODUCED_276):: defines_var(X_INTROD… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/scriptTest/allocating_developments/ |
H A D | allocating_developments.fzn | 351 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_79],X_INTRODUCED_80):: defines_var(X_INTROD… 354 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_83],X_INTRODUCED_84):: defines_var(X_INTROD… 357 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_86],X_INTRODUCED_87):: defines_var(X_INTROD… 360 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_89],X_INTRODUCED_90):: defines_var(X_INTROD… 363 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_92],X_INTRODUCED_93):: defines_var(X_INTROD… 366 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_95],X_INTRODUCED_96):: defines_var(X_INTROD… 369 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_98],X_INTRODUCED_99):: defines_var(X_INTROD… 374 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_83],X_INTRODUCED_104):: defines_var(X_INTRO… 376 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_86],X_INTRODUCED_106):: defines_var(X_INTRO… 378 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_89],X_INTRODUCED_108):: defines_var(X_INTRO… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/allocating_developments/ |
H A D | allocating_developments.fzn | 351 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_79],X_INTRODUCED_80):: defines_var(X_INTROD… 354 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_83],X_INTRODUCED_84):: defines_var(X_INTROD… 357 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_86],X_INTRODUCED_87):: defines_var(X_INTROD… 360 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_89],X_INTRODUCED_90):: defines_var(X_INTROD… 363 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_92],X_INTRODUCED_93):: defines_var(X_INTROD… 366 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_95],X_INTRODUCED_96):: defines_var(X_INTROD… 369 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_98],X_INTRODUCED_99):: defines_var(X_INTROD… 374 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_83],X_INTRODUCED_104):: defines_var(X_INTRO… 376 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_86],X_INTRODUCED_106):: defines_var(X_INTRO… 378 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_89],X_INTRODUCED_108):: defines_var(X_INTRO… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/scriptGolden/testFzn/allocating_developments/ |
H A D | allocating_developments.fzn | 351 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_79],X_INTRODUCED_80):: defines_var(X_INTROD… 354 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_83],X_INTRODUCED_84):: defines_var(X_INTROD… 357 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_86],X_INTRODUCED_87):: defines_var(X_INTROD… 360 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_89],X_INTRODUCED_90):: defines_var(X_INTROD… 363 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_92],X_INTRODUCED_93):: defines_var(X_INTROD… 366 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_95],X_INTRODUCED_96):: defines_var(X_INTROD… 369 constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_98],X_INTRODUCED_99):: defines_var(X_INTROD… 374 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_83],X_INTRODUCED_104):: defines_var(X_INTRO… 376 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_86],X_INTRODUCED_106):: defines_var(X_INTRO… 378 constraint array_bool_and([X_INTRODUCED_78,X_INTRODUCED_89],X_INTRODUCED_108):: defines_var(X_INTRO… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/movement_puzzle/ |
H A D | movement_puzzle.fzn | 430 constraint array_bool_and([X_INTRODUCED_50,X_INTRODUCED_51],X_INTRODUCED_52):: defines_var(X_INTROD… 433 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_55],X_INTRODUCED_56):: defines_var(X_INTROD… 436 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_58],X_INTRODUCED_59):: defines_var(X_INTROD… 439 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_61],X_INTRODUCED_62):: defines_var(X_INTROD… 442 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_64],X_INTRODUCED_65):: defines_var(X_INTROD… 445 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_67],X_INTRODUCED_68):: defines_var(X_INTROD… 448 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_70],X_INTRODUCED_71):: defines_var(X_INTROD… 451 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_73],X_INTRODUCED_74):: defines_var(X_INTROD… 454 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_76],X_INTRODUCED_77):: defines_var(X_INTROD… 456 constraint array_bool_and([X_INTRODUCED_50,X_INTRODUCED_55],X_INTRODUCED_79):: defines_var(X_INTROD… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/alldifferent_explain/ |
H A D | alldifferent_explain.fzn | 132 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_7],X_INTRODUCED_8):: defines_var(X_INTRODUCE… 134 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_9],X_INTRODUCED_10):: defines_var(X_INTRODUC… 136 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_11],X_INTRODUCED_12):: defines_var(X_INTRODU… 138 constraint array_bool_and([X_INTRODUCED_7,X_INTRODUCED_13],X_INTRODUCED_14):: defines_var(X_INTRODU… 139 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_9],X_INTRODUCED_15):: defines_var(X_INTRODUC… 140 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_11],X_INTRODUCED_16):: defines_var(X_INTRODU… 141 constraint array_bool_and([X_INTRODUCED_6,X_INTRODUCED_13],X_INTRODUCED_17):: defines_var(X_INTRODU… 142 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_11],X_INTRODUCED_18):: defines_var(X_INTRODU… 143 constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_13],X_INTRODUCED_19):: defines_var(X_INTRODU… 144 constraint array_bool_and([X_INTRODUCED_11,X_INTRODUCED_13],X_INTRODUCED_20):: defines_var(X_INTROD… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo30sec/sugiyama2/ |
H A D | g4_7_7_7_3.fzn | 571 constraint array_bool_and([X_INTRODUCED_26,X_INTRODUCED_25],X_INTRODUCED_27):: defines_var(X_INTROD… 575 constraint array_bool_and([X_INTRODUCED_30,X_INTRODUCED_29],X_INTRODUCED_31):: defines_var(X_INTROD… 579 constraint array_bool_and([X_INTRODUCED_36,X_INTRODUCED_35],X_INTRODUCED_37):: defines_var(X_INTROD… 583 constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_39],X_INTRODUCED_41):: defines_var(X_INTROD… 586 constraint array_bool_and([X_INTRODUCED_44,X_INTRODUCED_36],X_INTRODUCED_45):: defines_var(X_INTROD… 589 constraint array_bool_and([X_INTRODUCED_47,X_INTRODUCED_40],X_INTRODUCED_48):: defines_var(X_INTROD… 592 constraint array_bool_and([X_INTRODUCED_51,X_INTRODUCED_40],X_INTRODUCED_52):: defines_var(X_INTROD… 595 constraint array_bool_and([X_INTRODUCED_54,X_INTRODUCED_36],X_INTRODUCED_55):: defines_var(X_INTROD… 598 constraint array_bool_and([X_INTRODUCED_58,X_INTRODUCED_40],X_INTRODUCED_59):: defines_var(X_INTROD… 601 constraint array_bool_and([X_INTRODUCED_61,X_INTRODUCED_36],X_INTRODUCED_62):: defines_var(X_INTROD… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5min/sugiyama2/ |
H A D | g5_7_7_7_7_2.fzn | 756 constraint array_bool_and([X_INTRODUCED_32,X_INTRODUCED_31],X_INTRODUCED_33):: defines_var(X_INTROD… 760 constraint array_bool_and([X_INTRODUCED_36,X_INTRODUCED_35],X_INTRODUCED_37):: defines_var(X_INTROD… 764 constraint array_bool_and([X_INTRODUCED_42,X_INTRODUCED_41],X_INTRODUCED_43):: defines_var(X_INTROD… 768 constraint array_bool_and([X_INTRODUCED_46,X_INTRODUCED_45],X_INTRODUCED_47):: defines_var(X_INTROD… 771 constraint array_bool_and([X_INTRODUCED_50,X_INTRODUCED_42],X_INTRODUCED_51):: defines_var(X_INTROD… 774 constraint array_bool_and([X_INTRODUCED_53,X_INTRODUCED_46],X_INTRODUCED_54):: defines_var(X_INTROD… 778 constraint array_bool_and([X_INTRODUCED_58,X_INTRODUCED_57],X_INTRODUCED_59):: defines_var(X_INTROD… 782 constraint array_bool_and([X_INTRODUCED_62,X_INTRODUCED_61],X_INTRODUCED_63):: defines_var(X_INTROD… 785 constraint array_bool_and([X_INTRODUCED_66,X_INTRODUCED_58],X_INTRODUCED_67):: defines_var(X_INTROD… 788 constraint array_bool_and([X_INTRODUCED_69,X_INTRODUCED_62],X_INTRODUCED_70):: defines_var(X_INTROD… [all …]
|