2.5.4
The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Docs
»
Index
Index – R
random
Additional declarations for Gecode
random_order
Additional declarations for Chuffed
range
,
[1]
,
[2]
Global constraints
,
[1]
float
integer
reachable
Global constraints
,
[1]
redundant_constraint
Standard Library
example
regular
Global constraints
,
[1]
,
[2]
regular_nfa
Global constraints
,
[1]
reification
relax_and_reconstruct
Additional declarations for Gecode
,
[1]
restart_constant
Standard Library
restart_geometric
Standard Library
restart_linear
Standard Library
restart_luby
Standard Library
restart_none
Standard Library
reverse
Standard Library
,
[1]
,
[2]
,
[3]
roots
Global constraints
,
[1]
round
Standard Library
row
Standard Library
,
[1]
,
[2]
,
[3]
runtime flag
--all-solutions
-a