2.2.0
The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Docs
»
Index
Index – R
range
,
[1]
,
[2]
Global constraints
,
[1]
float
integer
redundant_constraint
Builtins
regular
Global constraints
,
[1]
regular_nfa
Global constraints
reification
restart_constant
Annotations
restart_geometric
Annotations
restart_linear
Annotations
restart_luby
Annotations
restart_none
Annotations
reverse
Builtins
,
[1]
,
[2]
,
[3]
roots
Global constraints
,
[1]
round
Builtins
row
Builtins
,
[1]
,
[2]
,
[3]
runtime flag
--all-solutions
-a