2.5.2
The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Docs
»
Index
Index – B
bernoulli
Standard Library
bin_packing
Global constraints
bin_packing_capa
Global constraints
bin_packing_load
Global constraints
,
[1]
binomial
Standard Library
bool2float
Standard Library
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
bool2int
,
[1]
FlatZinc builtins
Standard Library
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
,
[6]
,
[7]
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
,
[1]
,
[2]
,
[3]
bool_xor
FlatZinc builtins
,
[1]
Boolean
,
[1]
bounded_dpath
Global constraints
,
[1]
bounded_path
Global constraints
,
[1]
bounds
Standard Library