2.2.1
The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Docs
»
Index
Index – D
data file
command line
decision variable
see variable
decreasing
Global constraints
,
[1]
,
[2]
,
[3]
defines_var
Annotations
deopt
Option type support
,
[1]
,
[2]
,
[3]
DFA
diffn
Global constraints
diffn_k
Global constraints
diffn_nonstrict
Global constraints
diffn_nonstrict_k
Global constraints
discrete_distribution
Builtins
disjoint
Global constraints
disjunctive
Global constraints
,
[1]
disjunctive_strict
Global constraints
,
[1]
distribute
Global constraints
,
[1]
div
doc_comment
Annotations
dom
Builtins
dom_array
Builtins
dom_bounds_array
Builtins
dom_size
Builtins
dom_w_deg
Annotations
domain
Annotations
reflection
,
[1]