Index

Symbols

!= '!=' Standard Library '*' Standard Library '+' Standard Library '++' Standard Library, [1] '-' Standard Library '->' Standard Library '..' Standard Library '..<' Standard Library '/' Standard Library '/\' Standard Library '<' Standard Library '<-' Standard Library '<->' Standard Library '<..' Standard Library '<..<' Standard Library '<=' Standard Library '=' Standard Library '>' Standard Library '>=' Standard Library '\/' Standard Library '^' Standard Library 'diff' Standard Library 'div' Standard Library 'in' Standard Library, [1] 'intersect' Standard Library 'mod' Standard Library 'not' Standard Library 'subset' Standard Library 'superset' Standard Library 'symdiff' Standard Library 'union' Standard Library 'xor' Standard Library * + - command line option --all-satisfaction command line option --all-solutions command line option --allow-multiple-assignments command line option --canonicalize command line option --checker command line option --cmdline-data command line option --cmdline-json-data command line option --compile command line option --compile-solution-checker command line option --compiler-statistics command line option --config-dirs command line option --data command line option --disable-all-satisfaction command line option --error-msg command line option --free-search command line option --fzn command line option --help command line option, [1] --ignore-leading-lines command line option --ignore-lines command line option --ignore-stdlib command line option --instance-check-only command line option --intermediate command line option --json-stream command line option --keep-paths command line option --MIPDMaxDensEE command line option --MIPDMaxIntvEE command line option --model command line option --model-check-only command line option --model-interface-only command line option --model-types-only command line option --no-flush-output command line option --no-intermediate command line option --no-optimize command line option --no-output-comments command line option --no-output-ozn command line option --non-unique command line option --not-sections command line option --num-solutions command line option --only-range-domains command line option --only-sections command line option --output-base command line option --output-fzn-to-file command line option --output-fzn-to-stdout command line option --output-mode command line option --output-non-canonical command line option

--output-objective command line option --output-ozn-to-file command line option --output-ozn-to-stdout command line option --output-paths command line option --output-paths-to-file command line option --output-paths-to-stdout command line option --output-raw command line option --output-time command line option --output-to-file command line option --output-to-stdout command line option --ozn command line option --ozn-file command line option --parallel command line option --param-file command line option --pre-passes command line option --random-seed command line option --sac command line option --search-complete-msg command line option --shave command line option --soln-comma command line option --soln-sep command line option --soln-separator command line option --solution-checker command line option --solution-comma command line option --solution-separator command line option --solver command line option, [1] --solver-statistics command line option --solvers command line option --solvers-json command line option --statistics command line option --stdlib-dir command line option --two-pass command line option --unbounded-msg command line option --unknown-msg command line option --unsat-msg command line option --unsatorunbnd-msg command line option --use-gecode command line option --verbose command line option --verbose-compilation command line option --verbose-solving command line option --version command line option -a command line option, [1] -c command line option, [1] -D command line option, [1] -d command line option -e command line option -f command line option, [1] -G command line option -h command line option -I command line option -i command line option, [1], [2] -l command line option -m command line option -n command line option, [1] -n-i command line option -O command line option -o command line option -O- command line option -O<n> command line option -p command line option, [1] -r command line option, [1] -s command line option, [1] -t command line option -v command line option, [1] -Werror command line option ..<o Standard Library ..o Standard Library < <..<o Standard Library <..o Standard Library <= = == > >= ~!= Standard Library ~* Standard Library ~+ Standard Library ~- Standard Library ~/ Standard Library ~= Standard Library ~div Standard Library

A

abort Standard Library abs Standard Library absent Standard Library, [1], [2], [3] acos Standard Library acosh Standard Library action_max Additional declarations for Gecode action_min Additional declarations for Gecode action_size_max Additional declarations for Gecode action_size_min Additional declarations for Gecode add_to_output Standard Library Additional declarations for Chuffed assume chuffed_minimal_spanning_tree largest_smallest priority_search random_order smallest_largest Additional declarations for Gecode action_max action_min action_size_max action_size_min afc_max afc_min afc_size_max afc_size_min among_seq bool_default_search circuit_cost circuit_cost_array float_default_search gecode_array_set_element_intersect gecode_array_set_element_intersect_in gecode_array_set_element_partition int_default_search random relax_and_reconstruct set_default_search afc_max Additional declarations for Gecode afc_min Additional declarations for Gecode afc_size_max Additional declarations for Gecode afc_size_min Additional declarations for Gecode aggregation function, [1] exists forall iffall max min product sum xorall all_different Global constraints all_different_except Global constraints all_different_except_0 Global constraints all_disjoint Global constraints all_equal Global constraints alldifferent alternative Global constraints among Global constraints among_seq Additional declarations for Gecode ann annotate Standard Library annotated_expression Standard Library annotation, [1], [2], [3] anti_first_fail Standard Library arg_max Global constraints Standard Library arg_max_weak Global constraints arg_min Global constraints Standard Library arg_min_weak Global constraints arg_sort Global constraints Standard Library

arg_val Global constraints arg_val_weak Global constraints argument, [1] array access, [1] index set index set; unbounded literal; 1D literal; 2D array1d Standard Library array2d Standard Library array2set Standard Library array3d Standard Library array4d Standard Library array5d Standard Library array6d Standard Library array_bool_and FlatZinc builtins array_bool_element FlatZinc builtins array_bool_or FlatZinc builtins array_bool_xor FlatZinc builtins array_check_form Standard Library array_float_element FlatZinc builtins array_float_maximum FlatZinc builtins, [1] array_float_minimum FlatZinc builtins, [1] array_int_element FlatZinc builtins array_int_maximum FlatZinc builtins, [1] array_int_minimum FlatZinc builtins, [1] array_intersect Standard Library array_set_element FlatZinc builtins array_union Standard Library array_var_bool_element FlatZinc builtins array_var_bool_element2d_nonshifted FlatZinc builtins array_var_bool_element_nonshifted FlatZinc builtins array_var_float_element FlatZinc builtins array_var_float_element2d_nonshifted FlatZinc builtins array_var_float_element_nonshifted FlatZinc builtins array_var_int_element FlatZinc builtins array_var_int_element2d_nonshifted FlatZinc builtins array_var_int_element_nonshifted FlatZinc builtins array_var_set_element FlatZinc builtins array_var_set_element2d_nonshifted FlatZinc builtins array_var_set_element_nonshifted FlatZinc builtins arrayXd Standard Library asin Standard Library asinh Standard Library assert Standard Library assert_dbg Standard Library assignment, [1] assume Additional declarations for Chuffed at_least Global constraints, [1] at_most Global constraints, [1] at_most1 Global constraints atan Standard Library atanh Standard Library

B

basic_lns Experimental Features bernoulli Standard Library bin_packing Global constraints bin_packing_capa Global constraints bin_packing_load Global constraints binomial Standard Library bool2float Standard Library bool2int, [1] FlatZinc builtins Standard Library bool_and FlatZinc builtins bool_clause FlatZinc builtins bool_clause_reif FlatZinc builtins bool_default_search Additional declarations for Gecode bool_eq FlatZinc builtins bool_eq_reif FlatZinc builtins

bool_le FlatZinc builtins bool_le_reif FlatZinc builtins bool_lin_eq FlatZinc builtins bool_lin_le FlatZinc builtins bool_lt FlatZinc builtins bool_lt_reif FlatZinc builtins bool_not FlatZinc builtins Standard Library bool_or FlatZinc builtins bool_search Standard Library bool_xor FlatZinc builtins Boolean, [1] bounded_dpath Global constraints bounded_path Global constraints bounds Standard Library bounds_propagation Standard Library

C

cache_result Standard Library card Standard Library cauchy Standard Library ceil Standard Library chisquared Standard Library chuffed_minimal_spanning_tree Additional declarations for Chuffed circuit Global constraints circuit_cost Additional declarations for Gecode circuit_cost_array Additional declarations for Gecode clause Standard Library coercion automatic bool2int int2float col Standard Library command line option - --all-satisfaction --all-solutions --allow-multiple-assignments --canonicalize --checker --cmdline-data --cmdline-json-data --compile --compile-solution-checker --compiler-statistics --config-dirs --data --disable-all-satisfaction --error-msg --free-search --fzn --help, [1] --ignore-leading-lines --ignore-lines --ignore-stdlib --instance-check-only --intermediate --json-stream --keep-paths --MIPDMaxDensEE --MIPDMaxIntvEE --model --model-check-only --model-interface-only --model-types-only --no-flush-output --no-intermediate --no-optimize --no-output-comments --no-output-ozn --non-unique --not-sections --num-solutions --only-range-domains --only-sections --output-base --output-fzn-to-file --output-fzn-to-stdout --output-mode --output-non-canonical --output-objective --output-ozn-to-file --output-ozn-to-stdout --output-paths --output-paths-to-file --output-paths-to-stdout --output-raw --output-time --output-to-file --output-to-stdout --ozn --ozn-file --parallel --param-file --pre-passes --random-seed --sac --search-complete-msg --shave --soln-comma --soln-sep --soln-separator --solution-checker --solution-comma --solution-separator --solver, [1] --solver-statistics --solvers --solvers-json --statistics --stdlib-dir --two-pass --unbounded-msg --unknown-msg --unsat-msg --unsatorunbnd-msg --use-gecode --verbose --verbose-compilation --verbose-solving --version -a, [1] -c, [1] -d -D, [1] -e -f, [1] -G -h -i, [1], [2] -I -l -m -n, [1] -n-i -O -o -O- -O<n> -p, [1] -r, [1] -s, [1] -t -v, [1] -Werror

complete Experimental Features Standard Library comprehension generator list set computed_domain Standard Library concat Standard Library connected Global constraints constraint complex higher order local redundant set constraint_name Standard Library context !mixed !negative !positive !root mixed negative, [1] cos Standard Library cosh Standard Library cost_mdd Global constraints cost_regular Global constraints count Global constraints Standard Library count_eq Global constraints count_geq Global constraints count_gt Global constraints count_leq Global constraints count_lt Global constraints count_neq Global constraints ctx_mix Standard Library ctx_neg Standard Library ctx_pos Standard Library ctx_root Standard Library cumulative Global constraints cumulatives Global constraints

D

d_weighted_spanning_tree Global constraints dag Global constraints data file command line dconnected Global constraints debug_mode Standard Library decision variable see variable decreasing Global constraints default Standard Library defines_var Standard Library deopt Standard Library, [1], [2], [3] DFA diffn Global constraints diffn_k Global constraints diffn_nonstrict Global constraints diffn_nonstrict_k Global constraints discrete_distribution Standard Library disjoint Global constraints disjunctive Global constraints

disjunctive_strict Global constraints distribute Global constraints div doc_comment Standard Library dom Standard Library dom_array Standard Library dom_array_occurring Standard Library dom_bounds_array Standard Library dom_size Standard Library dom_w_deg Standard Library domain reflection, [1] Standard Library domain_change_constraint Standard Library domain_propagation Standard Library dpath Global constraints dreachable Global constraints dsteiner Global constraints dtree Global constraints

E

element Global constraints empty_annotation Standard Library enum_next Standard Library enum_of Standard Library enum_prev Standard Library enumerated type, [1] enumerated types exactly Global constraints, [1] exists Standard Library exp Standard Library Experimental Features basic_lns complete last_val on_restart round_robin sol STATUS uniform_on_restart

exponential Standard Library expression arithmetic assert, [1] Boolean, [1] conditional generator call let expression_name Standard Library expression_name_dbg Standard Library

F

false fdistribution Standard Library file_path Standard Library first_fail Standard Library fix Standard Library fixed, [1], [2] FlatZinc builtins array_bool_and array_bool_element array_bool_or array_bool_xor array_float_element array_float_maximum, [1] array_float_minimum, [1] array_int_element array_int_maximum, [1] array_int_minimum, [1] array_set_element array_var_bool_element array_var_bool_element2d_nonshifted array_var_bool_element_nonshifted array_var_float_element array_var_float_element2d_nonshifted array_var_float_element_nonshifted array_var_int_element array_var_int_element2d_nonshifted array_var_int_element_nonshifted array_var_set_element array_var_set_element2d_nonshifted array_var_set_element_nonshifted bool2int bool_and bool_clause bool_clause_reif bool_eq bool_eq_reif bool_le bool_le_reif bool_lin_eq bool_lin_le bool_lt bool_lt_reif bool_not bool_or bool_xor float_abs float_acos float_acosh float_asin float_asinh float_atan float_atanh float_ceil float_cos float_cosh float_div float_dom, [1] float_eq float_eq_reif float_exp float_floor float_in, [1] float_in_reif float_le float_le_reif float_lin_eq float_lin_eq_reif float_lin_le float_lin_le_reif float_lin_lt float_lin_lt_reif float_lin_ne float_lin_ne_reif float_ln float_log10 float_log2 float_lt float_lt_reif float_max float_min float_ne float_ne_reif float_plus float_pow float_round float_set_in float_sin float_sinh float_sqrt float_tan float_tanh float_times int2float int_abs int_div int_eq int_eq_reif int_le int_le_reif int_lin_eq int_lin_eq_reif int_lin_le int_lin_le_reif int_lin_ne int_lin_ne_reif int_lt int_lt_reif int_max int_min int_mod int_ne int_ne_reif int_plus int_pow int_pow_fixed int_times max min set_card set_diff set_eq set_eq_reif set_in, [1] set_in_reif set_intersect set_le set_le_reif set_lt set_lt_reif set_ne set_ne_reif set_subset set_subset_reif set_superset set_superset_reif set_symdiff set_union

float_abs FlatZinc builtins float_acos FlatZinc builtins float_acosh FlatZinc builtins float_asin FlatZinc builtins float_asinh FlatZinc builtins float_atan FlatZinc builtins float_atanh FlatZinc builtins float_ceil FlatZinc builtins float_cos FlatZinc builtins float_cosh FlatZinc builtins float_default_search Additional declarations for Gecode float_div FlatZinc builtins float_dom FlatZinc builtins, [1] float_eq FlatZinc builtins float_eq_reif FlatZinc builtins float_exp FlatZinc builtins float_floor FlatZinc builtins float_in FlatZinc builtins, [1] float_in_reif FlatZinc builtins float_le FlatZinc builtins float_le_reif FlatZinc builtins float_lin_eq FlatZinc builtins float_lin_eq_reif FlatZinc builtins float_lin_le FlatZinc builtins float_lin_le_reif FlatZinc builtins float_lin_lt FlatZinc builtins float_lin_lt_reif FlatZinc builtins float_lin_ne FlatZinc builtins float_lin_ne_reif FlatZinc builtins float_ln FlatZinc builtins float_log10 FlatZinc builtins float_log2 FlatZinc builtins float_lt FlatZinc builtins float_lt_reif FlatZinc builtins float_max FlatZinc builtins float_min FlatZinc builtins float_ne FlatZinc builtins float_ne_reif FlatZinc builtins float_plus FlatZinc builtins float_pow FlatZinc builtins float_round FlatZinc builtins float_search Standard Library float_set_in FlatZinc builtins float_sin FlatZinc builtins float_sinh FlatZinc builtins float_sqrt FlatZinc builtins float_tan FlatZinc builtins float_tanh FlatZinc builtins float_times FlatZinc builtins floor Standard Library forall, [1] Standard Library format Standard Library format_justify_string Standard Library function, [1], [2] definition, [1] partial

G

gamma Standard Library gecode_array_set_element_intersect Additional declarations for Gecode gecode_array_set_element_intersect_in Additional declarations for Gecode gecode_array_set_element_partition Additional declarations for Gecode generator generator call geost Global constraints geost_bb Global constraints geost_nonoverlap_k Global constraints geost_smallest_bb Global constraints global constraint alldifferent cumulative disjunctive regular table Global constraints all_different all_different_except all_different_except_0 all_disjoint all_equal alternative among arg_max arg_max_weak arg_min arg_min_weak arg_sort arg_val arg_val_weak at_least, [1] at_most, [1] at_most1 bin_packing bin_packing_capa bin_packing_load bounded_dpath bounded_path circuit connected cost_mdd cost_regular count count_eq count_geq count_gt count_leq count_lt count_neq cumulative cumulatives d_weighted_spanning_tree dag dconnected decreasing diffn diffn_k diffn_nonstrict diffn_nonstrict_k disjoint disjunctive disjunctive_strict distribute dpath dreachable dsteiner dtree element exactly, [1] geost geost_bb geost_nonoverlap_k geost_smallest_bb global_cardinality global_cardinality_closed global_cardinality_low_up global_cardinality_low_up_closed increasing int_set_channel inverse inverse_in_range inverse_set knapsack lex2 lex2_strict lex_chain lex_chain_greater lex_chain_greatereq lex_chain_greatereq_orbitope lex_chain_less lex_chain_lesseq lex_chain_lesseq_orbitope lex_greater lex_greatereq lex_less lex_lesseq link_set_to_booleans maximum maximum_arg mdd mdd_nondet member minimum minimum_arg network_flow network_flow_cost neural_net nvalue partition_set path piecewise_linear range reachable regular regular_nfa roots seq_precede_chain sliding_sum sort span steiner strict_lex2 strictly_decreasing strictly_increasing subcircuit subgraph sum_pred sum_set symmetric_all_different table tree value_precede value_precede_chain var_perm_sym var_sqr_sym weighted_spanning_tree write writes writes_seq

global_cardinality Global constraints global_cardinality_closed Global constraints global_cardinality_low_up Global constraints global_cardinality_low_up_closed Global constraints

H

had_zero Standard Library has_ann Standard Library has_bounds Standard Library

has_element Standard Library has_index Standard Library has_ub_set Standard Library

I

if_then_else Standard Library if_then_else_partiality Standard Library iffall Standard Library impact Standard Library implied_constraint Standard Library increasing Global constraints index_set Standard Library index_set_1of2 Standard Library index_set_1of3 Standard Library index_set_1of4 Standard Library index_set_1of5 Standard Library index_set_1of6 Standard Library index_set_2of2 Standard Library index_set_2of3 Standard Library index_set_2of4 Standard Library index_set_2of5 Standard Library index_set_2of6 Standard Library index_set_3of3 Standard Library index_set_3of4 Standard Library index_set_3of5 Standard Library index_set_3of6 Standard Library index_set_4of4 Standard Library index_set_4of5 Standard Library index_set_4of6 Standard Library index_set_5of5 Standard Library index_set_5of6 Standard Library index_set_6of6 Standard Library index_sets_agree Standard Library indomain Standard Library indomain_interval Standard Library indomain_max Standard Library indomain_median Standard Library indomain_middle Standard Library indomain_min Standard Library indomain_random Standard Library indomain_reverse_split Standard Library indomain_split Standard Library indomain_split_random Standard Library input_order Standard Library int2float FlatZinc builtins Standard Library

int_abs FlatZinc builtins int_default_search Additional declarations for Gecode int_div FlatZinc builtins int_eq FlatZinc builtins int_eq_reif FlatZinc builtins int_le FlatZinc builtins int_le_reif FlatZinc builtins int_lin_eq FlatZinc builtins int_lin_eq_reif FlatZinc builtins int_lin_le FlatZinc builtins int_lin_le_reif FlatZinc builtins int_lin_ne FlatZinc builtins int_lin_ne_reif FlatZinc builtins int_lt FlatZinc builtins int_lt_reif FlatZinc builtins int_max FlatZinc builtins int_min FlatZinc builtins int_mod FlatZinc builtins int_ne FlatZinc builtins int_ne_reif FlatZinc builtins int_plus FlatZinc builtins int_pow FlatZinc builtins int_pow_fixed FlatZinc builtins int_search Standard Library int_set_channel Global constraints int_times FlatZinc builtins integer inverse Global constraints inverse_in_range Global constraints inverse_set Global constraints is_defined_var Standard Library is_fixed Standard Library is_reverse_map Standard Library is_same Standard Library item annotation, [1] assignment constraint enum include output predicate solve variable declaration

J

join Standard Library json_array Standard Library

json_object Standard Library json_section Standard Library

K

knapsack Global constraints

L

largest Standard Library largest_smallest Additional declarations for Chuffed last_val Experimental Features lb Standard Library lb_array Standard Library length Standard Library let lex2 Global constraints lex2_strict Global constraints lex_chain Global constraints lex_chain_greater Global constraints lex_chain_greatereq Global constraints lex_chain_greatereq_orbitope Global constraints lex_chain_less Global constraints

lex_chain_lesseq Global constraints lex_chain_lesseq_orbitope Global constraints lex_greater Global constraints lex_greatereq Global constraints lex_less Global constraints lex_lesseq Global constraints link_set_to_booleans Global constraints list ln Standard Library log Standard Library log10 Standard Library log2 Standard Library lognormal Standard Library logstream_to_string Standard Library

M

max FlatZinc builtins Standard Library, [1] max_regret Standard Library max_weak Standard Library maximize maximum Global constraints maximum_arg Global constraints maybe_partial Standard Library mdd Global constraints mdd_nondet Global constraints member Global constraints min FlatZinc builtins Standard Library, [1] min_weak Standard Library minimize minimum Global constraints minimum_arg Global constraints minizinc -c MiniZincIDE tools vis_bar vis_column vis_digraph vis_digraph_highlight vis_gantt vis_geost_2d vis_graph vis_graph_highlight vis_line vis_scatter vis_scatter_cumulative vis_server mod most_constrained Standard Library mzn_absent_zero Standard Library mzn_add_annotated_expression Standard Library

mzn_break_here Standard Library mzn_check_absent_zero Standard Library mzn_check_annotate_computed_domains Standard Library mzn_check_annotate_defines_var Standard Library mzn_check_enum_var Standard Library mzn_check_half_reify_clause Standard Library mzn_check_ignore_redundant_constraints Standard Library mzn_check_ignore_symmetry_breaking_constraints Standard Library mzn_check_only_range_domains Standard Library mzn_check_var Standard Library mzn_compiler_version Standard Library mzn_constraint_name Standard Library mzn_deprecated Standard Library mzn_expression_name Standard Library mzn_half_reify_clause Standard Library mzn_ignore_redundant_constraints Standard Library mzn_ignore_symmetry_breaking_constraints Standard Library mzn_internal_check_debug_mode Standard Library mzn_min_version_required Standard Library mzn_opt_annotate_computed_domains Standard Library mzn_opt_annotate_defines_var Standard Library mzn_opt_only_range_domains Standard Library mzn_output_section Standard Library mzn_path Standard Library mzn_rhs_from_assignment Standard Library mzn_version_to_string Standard Library

N

network_flow Global constraints network_flow_cost Global constraints neural_net Global constraints NFA

no_cse Standard Library no_output Standard Library normal Standard Library nvalue Global constraints

O

o.. Standard Library o..< Standard Library o<.. Standard Library o<..< Standard Library objective, [1] occurrence Standard Library occurs Standard Library, [1], [2], [3] on_restart Experimental Features operator Boolean integer relational set optimization option type option types

outdomain_max Standard Library outdomain_median Standard Library outdomain_min Standard Library outdomain_random Standard Library output, [1], [2] Standard Library output_array Standard Library output_only Standard Library output_to_json_section Standard Library output_to_section Standard Library output_var Standard Library outputJSON Standard Library outputJSONParameters Standard Library

P

parameter, [1], [2] partiality partition_set Global constraints path Global constraints piecewise_linear Global constraints poisson Standard Library pow Standard Library

predicate, [1], [2] definition, [1], [2] priority_search Additional declarations for Chuffed product Standard Library promise_commutative Standard Library promise_total Standard Library

R

random Additional declarations for Gecode random_order Additional declarations for Chuffed range, [1] float Global constraints integer reachable Global constraints redundant_constraint example Standard Library regular Global constraints regular_nfa Global constraints reification relax_and_reconstruct Additional declarations for Gecode Standard Library restart_constant Standard Library

restart_geometric Standard Library restart_linear Standard Library restart_luby Standard Library restart_none Standard Library reverse Standard Library roots Global constraints round Standard Library round_robin Experimental Features row Standard Library runtime flag --all-solutions -a

S

satisfaction scope search annotation constrain choice depth first finite domain restart sequential variable choice seq_precede_chain Global constraints seq_search Standard Library set set2array Standard Library set_card FlatZinc builtins set_default_search Additional declarations for Gecode set_diff FlatZinc builtins set_eq FlatZinc builtins set_eq_reif FlatZinc builtins set_in FlatZinc builtins, [1] set_in_reif FlatZinc builtins set_intersect FlatZinc builtins set_le FlatZinc builtins set_le_reif FlatZinc builtins set_lt FlatZinc builtins set_lt_reif FlatZinc builtins set_ne FlatZinc builtins set_ne_reif FlatZinc builtins set_search Standard Library set_subset FlatZinc builtins set_subset_reif FlatZinc builtins set_superset FlatZinc builtins set_superset_reif FlatZinc builtins set_symdiff FlatZinc builtins set_to_ranges Standard Library set_union FlatZinc builtins show Standard Library show2d Standard Library show2d_indexed Standard Library show3d Standard Library show_array2d_bool Standard Library show_float Standard Library show_gantt Standard Library show_int Standard Library showJSON Standard Library sin Standard Library single enum sinh Standard Library slice_1d Standard Library slice_2d Standard Library slice_3d Standard Library slice_4d Standard Library slice_5d Standard Library slice_6d Standard Library sliding_sum Global constraints smallest Standard Library smallest_largest Additional declarations for Chuffed sol Experimental Features solution all end `==========` separator ---------- solve sort Global constraints Standard Library sort_by Standard Library span Global constraints sqrt Standard Library Standard Library '!=' '*' '+' '++', [1] '-' '->' '..' '..<' '/' '/\' '<' '<-' '<->' '<..' '<..<' '<=' '=' '>' '>=' '\/' '^' 'diff' 'div' 'in', [1] 'intersect' 'mod' 'not' 'subset' 'superset' 'symdiff' 'union' 'xor' ..<o ..o <..<o <..o ~!= ~* ~+ ~- ~/ ~= ~div abort abs absent, [1], [2], [3] acos acosh add_to_output annotate annotated_expression anti_first_fail arg_max arg_min arg_sort array1d array2d array2set array3d array4d array5d array6d array_check_form array_intersect array_union arrayXd asin asinh assert assert_dbg atan atanh bernoulli binomial bool2float bool2int bool_not bool_search bounds bounds_propagation cache_result card cauchy ceil chisquared clause col complete computed_domain concat constraint_name cos cosh count ctx_mix ctx_neg ctx_pos ctx_root debug_mode default defines_var deopt, [1], [2], [3] discrete_distribution doc_comment dom dom_array dom_array_occurring dom_bounds_array dom_size dom_w_deg domain domain_change_constraint domain_propagation empty_annotation enum_next enum_of enum_prev exists exp exponential expression_name expression_name_dbg fdistribution file_path first_fail fix float_search floor forall format format_justify_string gamma had_zero has_ann has_bounds has_element has_index has_ub_set if_then_else if_then_else_partiality iffall impact implied_constraint index_set index_set_1of2 index_set_1of3 index_set_1of4 index_set_1of5 index_set_1of6 index_set_2of2 index_set_2of3 index_set_2of4 index_set_2of5 index_set_2of6 index_set_3of3 index_set_3of4 index_set_3of5 index_set_3of6 index_set_4of4 index_set_4of5 index_set_4of6 index_set_5of5 index_set_5of6 index_set_6of6 index_sets_agree indomain indomain_interval indomain_max indomain_median indomain_middle indomain_min indomain_random indomain_reverse_split indomain_split indomain_split_random input_order int2float int_search is_defined_var is_fixed is_reverse_map is_same join json_array json_object json_section largest lb lb_array length ln log log10 log2 lognormal logstream_to_string max, [1] max_regret max_weak maybe_partial min, [1] min_weak most_constrained mzn_absent_zero mzn_add_annotated_expression mzn_break_here mzn_check_absent_zero mzn_check_annotate_computed_domains mzn_check_annotate_defines_var mzn_check_enum_var mzn_check_half_reify_clause mzn_check_ignore_redundant_constraints mzn_check_ignore_symmetry_breaking_constraints mzn_check_only_range_domains mzn_check_var mzn_compiler_version mzn_constraint_name mzn_deprecated mzn_expression_name mzn_half_reify_clause mzn_ignore_redundant_constraints mzn_ignore_symmetry_breaking_constraints mzn_internal_check_debug_mode mzn_min_version_required mzn_opt_annotate_computed_domains mzn_opt_annotate_defines_var mzn_opt_only_range_domains mzn_output_section mzn_path mzn_rhs_from_assignment mzn_version_to_string no_cse no_output normal o.. o..< o<.. o<..< occurrence occurs, [1], [2], [3] outdomain_max outdomain_median outdomain_min outdomain_random output output_array output_only output_to_json_section output_to_section output_var outputJSON outputJSONParameters poisson pow product promise_commutative promise_total redundant_constraint relax_and_reconstruct restart_constant restart_geometric restart_linear restart_luby restart_none reverse round row seq_search set2array set_search set_to_ranges show show2d show2d_indexed show3d show_array2d_bool show_float show_gantt show_int showJSON sin sinh slice_1d slice_2d slice_3d slice_4d slice_5d slice_6d smallest sort sort_by sqrt string_length string_split sum symmetry_breaking_constraint tan tanh tdistribution to_enum trace trace_dbg trace_exp trace_logstream trace_stdout trace_to_json_section trace_to_section ub ub_array uniform value_propagation var_is_introduced warm_start, [1] warm_start_array weibull xorall

STATUS Experimental Features steiner Global constraints strict_lex2 Global constraints strictly_decreasing Global constraints strictly_increasing Global constraints string, [1] literal, [1] literal; interpolated string_length Standard Library string_split Standard Library subcircuit Global constraints subgraph Global constraints sum Standard Library sum_pred Global constraints sum_set Global constraints symmetric_all_different Global constraints symmetry breaking symmetry_breaking_constraint example Standard Library

T

table Global constraints tan Standard Library tanh Standard Library tdistribution Standard Library to_enum Standard Library trace Standard Library trace_dbg Standard Library trace_exp Standard Library

trace_logstream Standard Library trace_stdout Standard Library trace_to_json_section Standard Library trace_to_section Standard Library tree Global constraints true type, [1], [2] enumerated, [1] enumerated; anonymous non-finite parameter type-inst

U

ub Standard Library ub_array Standard Library

unfixed uniform Standard Library uniform_on_restart Experimental Features

V

value_precede Global constraints value_precede_chain Global constraints value_propagation Standard Library var_is_introduced Standard Library var_perm_sym Global constraints var_sqr_sym Global constraints variable, [1] bound, [1], [2] declaration, [1] declaration; enum declaration; integer iterator local, [1] option type vis_bar MiniZincIDE tools

vis_column MiniZincIDE tools vis_digraph MiniZincIDE tools vis_digraph_highlight MiniZincIDE tools vis_gantt MiniZincIDE tools vis_geost_2d MiniZincIDE tools vis_graph MiniZincIDE tools vis_graph_highlight MiniZincIDE tools vis_line MiniZincIDE tools vis_scatter MiniZincIDE tools vis_scatter_cumulative MiniZincIDE tools vis_server MiniZincIDE tools

W

warm_start Standard Library, [1] warm_start_array Standard Library weibull Standard Library weighted_spanning_tree Global constraints

write Global constraints writes Global constraints writes_seq Global constraints

X

xorall Standard Library