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