The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Index
Index – D
d_weighted_spanning_tree
Global constraints
dag
Global constraints
data file
command line
dconnected
Global constraints
debug_mode
Standard Library
decision variable
see variable
decreasing
Global constraints
default
Standard Library
defines_var
Standard Library
deopt
Standard Library
,
[1]
,
[2]
,
[3]
DFA
diffn
Global constraints
diffn_k
Global constraints
diffn_nonstrict
Global constraints
diffn_nonstrict_k
Global constraints
discrete_distribution
Standard Library
disjoint
Global constraints
disjunctive
Global constraints
disjunctive_strict
Global constraints
distribute
Global constraints
div
doc_comment
Standard Library
dom
Standard Library
dom_array
Standard Library
dom_array_occurring
Standard Library
dom_bounds_array
Standard Library
dom_size
Standard Library
dom_w_deg
Standard Library
domain
reflection
,
[1]
Standard Library
domain_change_constraint
Standard Library
domain_propagation
Standard Library
dpath
Global constraints
dreachable
Global constraints
dsteiner
Global constraints
dtree
Global constraints