The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Index
Index – 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