2.4.2
The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Docs
»
Index
Index – D
d_weighted_spanning_tree
Global constraints
dag
Global constraints
data file
command line
dconnected
Global constraints
decision variable
see variable
decreasing
Global constraints
,
[1]
,
[2]
,
[3]
defines_var
Annotations
deopt
Option type support
,
[1]
,
[2]
,
[3]
,
[4]
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]
domain_change_constraint
Annotations
dpath
Global constraints
,
[1]
dreachable
Global constraints
,
[1]
dsteiner
Global constraints
dtree
Global constraints
,
[1]