2.4.1
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
Builtins
regular
Global constraints
,
[1]
,
[2]
regular_nfa
Global constraints
,
[1]
reification
relax_and_reconstruct
Additional declarations for Gecode
,
[1]
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