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