The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Index
Index – O
o..
Standard Library
o..<
Standard Library
o<..
Standard Library
o<..<
Standard Library
objective
,
[1]
occurrence
Standard Library
occurs
Standard Library
,
[1]
,
[2]
,
[3]
on_restart
Experimental Features
operator
Boolean
integer
relational
set
optimization
option type
option types
outdomain_max
Standard Library
outdomain_median
Standard Library
outdomain_min
Standard Library
outdomain_random
Standard Library
output
,
[1]
,
[2]
Standard Library
output_array
Standard Library
output_only
Standard Library
output_to_json_section
Standard Library
output_to_section
Standard Library
output_var
Standard Library
outputJSON
Standard Library
outputJSONParameters
Standard Library