/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5min/elitserien/ |
H A D | handball17.fzn | 3815 constraint array_bool_and([X_INTRODUCED_823,X_INTRODUCED_827],X_INTRODUCED_828):: defines_var(X_INT… 3818 constraint array_bool_and([X_INTRODUCED_832,X_INTRODUCED_836],X_INTRODUCED_837):: defines_var(X_INT… 3821 constraint array_bool_and([X_INTRODUCED_841,X_INTRODUCED_845],X_INTRODUCED_846):: defines_var(X_INT… 3824 constraint array_bool_and([X_INTRODUCED_850,X_INTRODUCED_854],X_INTRODUCED_855):: defines_var(X_INT… 3827 constraint array_bool_and([X_INTRODUCED_859,X_INTRODUCED_863],X_INTRODUCED_864):: defines_var(X_INT… 3830 constraint array_bool_and([X_INTRODUCED_868,X_INTRODUCED_872],X_INTRODUCED_873):: defines_var(X_INT… 4596 constraint array_bool_and([X_INTRODUCED_3219,X_INTRODUCED_3220,X_INTRODUCED_3221,X_INTRODUCED_3222,… 4618 constraint array_bool_and([X_INTRODUCED_3243,X_INTRODUCED_3244,X_INTRODUCED_3245,X_INTRODUCED_3246,… 4640 constraint array_bool_and([X_INTRODUCED_3267,X_INTRODUCED_3268,X_INTRODUCED_3269,X_INTRODUCED_3270,… 4662 constraint array_bool_and([X_INTRODUCED_3291,X_INTRODUCED_3292,X_INTRODUCED_3293,X_INTRODUCED_3294,… [all …]
|
H A D | handball3.fzn | 3836 constraint array_bool_and([X_INTRODUCED_838,X_INTRODUCED_842],X_INTRODUCED_843):: defines_var(X_INT… 3839 constraint array_bool_and([X_INTRODUCED_847,X_INTRODUCED_851],X_INTRODUCED_852):: defines_var(X_INT… 3842 constraint array_bool_and([X_INTRODUCED_856,X_INTRODUCED_860],X_INTRODUCED_861):: defines_var(X_INT… 3845 constraint array_bool_and([X_INTRODUCED_865,X_INTRODUCED_869],X_INTRODUCED_870):: defines_var(X_INT… 3848 constraint array_bool_and([X_INTRODUCED_874,X_INTRODUCED_878],X_INTRODUCED_879):: defines_var(X_INT… 3851 constraint array_bool_and([X_INTRODUCED_883,X_INTRODUCED_887],X_INTRODUCED_888):: defines_var(X_INT… 4617 constraint array_bool_and([X_INTRODUCED_3234,X_INTRODUCED_3235,X_INTRODUCED_3236,X_INTRODUCED_3237,… 4639 constraint array_bool_and([X_INTRODUCED_3258,X_INTRODUCED_3259,X_INTRODUCED_3260,X_INTRODUCED_3261,… 4661 constraint array_bool_and([X_INTRODUCED_3282,X_INTRODUCED_3283,X_INTRODUCED_3284,X_INTRODUCED_3285,… 4683 constraint array_bool_and([X_INTRODUCED_3306,X_INTRODUCED_3307,X_INTRODUCED_3308,X_INTRODUCED_3309,… [all …]
|
H A D | handball5.fzn | 3829 constraint array_bool_and([X_INTRODUCED_832,X_INTRODUCED_836],X_INTRODUCED_837):: defines_var(X_INT… 3832 constraint array_bool_and([X_INTRODUCED_841,X_INTRODUCED_845],X_INTRODUCED_846):: defines_var(X_INT… 3835 constraint array_bool_and([X_INTRODUCED_850,X_INTRODUCED_854],X_INTRODUCED_855):: defines_var(X_INT… 3838 constraint array_bool_and([X_INTRODUCED_859,X_INTRODUCED_863],X_INTRODUCED_864):: defines_var(X_INT… 3841 constraint array_bool_and([X_INTRODUCED_868,X_INTRODUCED_872],X_INTRODUCED_873):: defines_var(X_INT… 3844 constraint array_bool_and([X_INTRODUCED_877,X_INTRODUCED_881],X_INTRODUCED_882):: defines_var(X_INT… 4610 constraint array_bool_and([X_INTRODUCED_3228,X_INTRODUCED_3229,X_INTRODUCED_3230,X_INTRODUCED_3231,… 4632 constraint array_bool_and([X_INTRODUCED_3252,X_INTRODUCED_3253,X_INTRODUCED_3254,X_INTRODUCED_3255,… 4654 constraint array_bool_and([X_INTRODUCED_3276,X_INTRODUCED_3277,X_INTRODUCED_3278,X_INTRODUCED_3279,… 4676 constraint array_bool_and([X_INTRODUCED_3300,X_INTRODUCED_3301,X_INTRODUCED_3302,X_INTRODUCED_3303,… [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/tc-graph-color/ |
H A D | k10_34.fzn | 2547 constraint array_bool_and([X_INTRODUCED_867,X_INTRODUCED_866,X_INTRODUCED_865,X_INTRODUCED_864,X_IN… 2574 constraint array_bool_and([X_INTRODUCED_895,X_INTRODUCED_894,X_INTRODUCED_893,X_INTRODUCED_892,X_IN… 2601 constraint array_bool_and([X_INTRODUCED_923,X_INTRODUCED_922,X_INTRODUCED_921,X_INTRODUCED_920,X_IN… 2628 constraint array_bool_and([X_INTRODUCED_951,X_INTRODUCED_950,X_INTRODUCED_949,X_INTRODUCED_948,X_IN… 2655 constraint array_bool_and([X_INTRODUCED_979,X_INTRODUCED_978,X_INTRODUCED_977,X_INTRODUCED_976,X_IN… 2682 constraint array_bool_and([X_INTRODUCED_1007,X_INTRODUCED_1006,X_INTRODUCED_1005,X_INTRODUCED_1004,… 2709 constraint array_bool_and([X_INTRODUCED_1035,X_INTRODUCED_1034,X_INTRODUCED_1033,X_INTRODUCED_1032,… 2736 constraint array_bool_and([X_INTRODUCED_1063,X_INTRODUCED_1062,X_INTRODUCED_1061,X_INTRODUCED_1060,…
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/above10min/tc-graph-color/ |
H A D | k2_42.fzn | 2664 constraint array_bool_and([X_INTRODUCED_867,X_INTRODUCED_866,X_INTRODUCED_865,X_INTRODUCED_864,X_IN… 2691 constraint array_bool_and([X_INTRODUCED_895,X_INTRODUCED_894,X_INTRODUCED_893,X_INTRODUCED_892,X_IN… 2718 constraint array_bool_and([X_INTRODUCED_923,X_INTRODUCED_922,X_INTRODUCED_921,X_INTRODUCED_920,X_IN… 2745 constraint array_bool_and([X_INTRODUCED_951,X_INTRODUCED_950,X_INTRODUCED_949,X_INTRODUCED_948,X_IN… 2772 constraint array_bool_and([X_INTRODUCED_979,X_INTRODUCED_978,X_INTRODUCED_977,X_INTRODUCED_976,X_IN… 2799 constraint array_bool_and([X_INTRODUCED_1007,X_INTRODUCED_1006,X_INTRODUCED_1005,X_INTRODUCED_1004,… 2826 constraint array_bool_and([X_INTRODUCED_1035,X_INTRODUCED_1034,X_INTRODUCED_1033,X_INTRODUCED_1032,… 2853 constraint array_bool_and([X_INTRODUCED_1063,X_INTRODUCED_1062,X_INTRODUCED_1061,X_INTRODUCED_1060,…
|
/dports/math/minizinc/libminizinc-2.5.5/docs/en/ |
H A D | flattening.rst | 682 constraint array_bool_and([BOOL01,BOOL02,BOOL03],BOOL04); 685 constraint array_bool_and([BOOL03,BOOL05,BOOL06],BOOL07);
|
/dports/math/minizinc/libminizinc-2.5.5/docs/es/ |
H A D | flattening.rst | 557 constraint array_bool_and([BOOL01,BOOL02,BOOL03],BOOL04); 560 constraint array_bool_and([BOOL03,BOOL05,BOOL06],BOOL07);
|
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/linear_old/linear/ |
H A D | redefinitions.mzn | 133 predicate array_bool_and(array[int] of var bool: a, var bool: b) =
|
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/linear_old/ |
H A D | redefinitions.mzn | 133 predicate array_bool_and(array[int] of var bool: a, var bool: b) =
|
/dports/math/minizinc/libminizinc-2.5.5/lib/ |
H A D | ast.cpp | 1589 ids.array_bool_and = ASTString("array_bool_and"); in mark() 1827 ids.array_bool_and.mark(); in mark()
|
/dports/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/ |
H A D | registry.cpp | 474 array_bool_and(bv, getBoolVar(ce[1])); in p_array_bool_and()
|
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
H A D | ast.hh | 1831 ASTString array_bool_and; // NOLINT(readability-identifier-naming) member
|
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/ |
H A D | flatzinc_builtins.mzn | 256 predicate array_bool_and(array[int] of var bool: as, var bool: r);
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/uniform_dice/ |
H A D | uniform_dice.fzn | 1610 constraint array_bool_and([X_INTRODUCED_89,X_INTRODUCED_90],X_INTRODUCED_77):: defines_var(X_INTROD… 1611 constraint array_bool_and([X_INTRODUCED_93,X_INTRODUCED_94],X_INTRODUCED_78):: defines_var(X_INTROD… 1612 constraint array_bool_and([X_INTRODUCED_97,X_INTRODUCED_98],X_INTRODUCED_79):: defines_var(X_INTROD… 1613 constraint array_bool_and([X_INTRODUCED_101,X_INTRODUCED_102],X_INTRODUCED_80):: defines_var(X_INTR…
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/young_tableaux_stack_overflow/ |
H A D | young_tableaux_stack_overflow.fzn | 6463 constraint array_bool_and([X_INTRODUCED_213,X_INTRODUCED_214,X_INTRODUCED_215,X_INTRODUCED_216,X_IN… 6465 constraint array_bool_and([X_INTRODUCED_214,X_INTRODUCED_215,X_INTRODUCED_216,X_INTRODUCED_217,X_IN… 6467 constraint array_bool_and([X_INTRODUCED_215,X_INTRODUCED_216,X_INTRODUCED_217,X_INTRODUCED_218,X_IN… 6469 constraint array_bool_and([X_INTRODUCED_216,X_INTRODUCED_217,X_INTRODUCED_218,X_INTRODUCED_219,X_IN… 6471 constraint array_bool_and([X_INTRODUCED_217,X_INTRODUCED_218,X_INTRODUCED_219,X_INTRODUCED_220,X_IN… 6473 constraint array_bool_and([X_INTRODUCED_218,X_INTRODUCED_219,X_INTRODUCED_220,X_INTRODUCED_221,X_IN… 6475 constraint array_bool_and([X_INTRODUCED_219,X_INTRODUCED_220,X_INTRODUCED_221,X_INTRODUCED_222,X_IN… 6477 constraint array_bool_and([X_INTRODUCED_220,X_INTRODUCED_221,X_INTRODUCED_222,X_INTRODUCED_223,X_IN… 6479 constraint array_bool_and([X_INTRODUCED_221,X_INTRODUCED_222,X_INTRODUCED_223,X_INTRODUCED_258],X_I… 6481 constraint array_bool_and([X_INTRODUCED_222,X_INTRODUCED_223,X_INTRODUCED_261],X_INTRODUCED_262):: … [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/above10min/ma-path-finding/ |
H A D | ins_g16_p20_a20.fzn | 487813 constraint array_bool_and([X_INTRODUCED_99039],X_INTRODUCED_99040):: defines_var(X_INTRODUCED_99040… 487905 constraint array_bool_and([X_INTRODUCED_99163],X_INTRODUCED_99164):: defines_var(X_INTRODUCED_99164… 487997 constraint array_bool_and([X_INTRODUCED_99284],X_INTRODUCED_99285):: defines_var(X_INTRODUCED_99285… 488089 constraint array_bool_and([X_INTRODUCED_99405],X_INTRODUCED_99406):: defines_var(X_INTRODUCED_99406… 488181 constraint array_bool_and([X_INTRODUCED_99526],X_INTRODUCED_99527):: defines_var(X_INTRODUCED_99527… 488273 constraint array_bool_and([X_INTRODUCED_99647],X_INTRODUCED_99648):: defines_var(X_INTRODUCED_99648… 488365 constraint array_bool_and([X_INTRODUCED_99768],X_INTRODUCED_99769):: defines_var(X_INTRODUCED_99769… 488457 constraint array_bool_and([X_INTRODUCED_99889],X_INTRODUCED_99890):: defines_var(X_INTRODUCED_99890… 488549 constraint array_bool_and([X_INTRODUCED_100010],X_INTRODUCED_100011):: defines_var(X_INTRODUCED_100… 488641 constraint array_bool_and([X_INTRODUCED_100131],X_INTRODUCED_100132):: defines_var(X_INTRODUCED_100… [all …]
|
H A D | ins_g16_p10_a20.fzn | 548340 constraint array_bool_and([X_INTRODUCED_111519],X_INTRODUCED_111520):: defines_var(X_INTRODUCED_111… 548432 constraint array_bool_and([X_INTRODUCED_111643],X_INTRODUCED_111644):: defines_var(X_INTRODUCED_111… 548524 constraint array_bool_and([X_INTRODUCED_111764],X_INTRODUCED_111765):: defines_var(X_INTRODUCED_111… 548616 constraint array_bool_and([X_INTRODUCED_111885],X_INTRODUCED_111886):: defines_var(X_INTRODUCED_111… 548708 constraint array_bool_and([X_INTRODUCED_112006],X_INTRODUCED_112007):: defines_var(X_INTRODUCED_112… 548800 constraint array_bool_and([X_INTRODUCED_112127],X_INTRODUCED_112128):: defines_var(X_INTRODUCED_112… 548892 constraint array_bool_and([X_INTRODUCED_112248],X_INTRODUCED_112249):: defines_var(X_INTRODUCED_112… 548984 constraint array_bool_and([X_INTRODUCED_112369],X_INTRODUCED_112370):: defines_var(X_INTRODUCED_112… 549076 constraint array_bool_and([X_INTRODUCED_112490],X_INTRODUCED_112491):: defines_var(X_INTRODUCED_112… 549168 constraint array_bool_and([X_INTRODUCED_112611],X_INTRODUCED_112612):: defines_var(X_INTRODUCED_112… [all …]
|
H A D | ins_g16_p10_a10.fzn | 237821 constraint array_bool_and([X_INTRODUCED_48736,X_INTRODUCED_48737],X_INTRODUCED_48738):: defines_var… 237896 constraint array_bool_and([X_INTRODUCED_48851],X_INTRODUCED_48852):: defines_var(X_INTRODUCED_48852… 237976 constraint array_bool_and([X_INTRODUCED_48960],X_INTRODUCED_48961):: defines_var(X_INTRODUCED_48961… 238056 constraint array_bool_and([X_INTRODUCED_49066],X_INTRODUCED_49067):: defines_var(X_INTRODUCED_49067… 238136 constraint array_bool_and([X_INTRODUCED_49172],X_INTRODUCED_49173):: defines_var(X_INTRODUCED_49173… 238216 constraint array_bool_and([X_INTRODUCED_49278],X_INTRODUCED_49279):: defines_var(X_INTRODUCED_49279… 238296 constraint array_bool_and([X_INTRODUCED_49384],X_INTRODUCED_49385):: defines_var(X_INTRODUCED_49385… 238376 constraint array_bool_and([X_INTRODUCED_49490],X_INTRODUCED_49491):: defines_var(X_INTRODUCED_49491… 238456 constraint array_bool_and([X_INTRODUCED_49596],X_INTRODUCED_49597):: defines_var(X_INTRODUCED_49597… 238536 constraint array_bool_and([X_INTRODUCED_49702],X_INTRODUCED_49703):: defines_var(X_INTRODUCED_49703… [all …]
|
H A D | ins_g24_p10_a05.fzn | 516518 constraint array_bool_and([X_INTRODUCED_101410,X_INTRODUCED_101411],X_INTRODUCED_101412):: defines_… 516522 constraint array_bool_and([X_INTRODUCED_101416,X_INTRODUCED_101417],X_INTRODUCED_101418):: defines_… 516526 constraint array_bool_and([X_INTRODUCED_101422,X_INTRODUCED_101423],X_INTRODUCED_101424):: defines_… 516530 constraint array_bool_and([X_INTRODUCED_101428,X_INTRODUCED_101429],X_INTRODUCED_101430):: defines_… 516534 constraint array_bool_and([X_INTRODUCED_101434,X_INTRODUCED_101435],X_INTRODUCED_101436):: defines_… 516538 constraint array_bool_and([X_INTRODUCED_101440,X_INTRODUCED_101441],X_INTRODUCED_101442):: defines_… 516665 constraint array_bool_and([X_INTRODUCED_101633],X_INTRODUCED_101634):: defines_var(X_INTRODUCED_101… 516817 constraint array_bool_and([X_INTRODUCED_101832],X_INTRODUCED_101833):: defines_var(X_INTRODUCED_101… 516969 constraint array_bool_and([X_INTRODUCED_102028],X_INTRODUCED_102029):: defines_var(X_INTRODUCED_102… 517121 constraint array_bool_and([X_INTRODUCED_102224],X_INTRODUCED_102225):: defines_var(X_INTRODUCED_102… [all …]
|