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