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