The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Index
Index – G
gamma
Standard Library
gecode_array_set_element_intersect
Additional declarations for Gecode
gecode_array_set_element_intersect_in
Additional declarations for Gecode
gecode_array_set_element_partition
Additional declarations for Gecode
generator
generator call
geost
Global constraints
geost_bb
Global constraints
geost_nonoverlap_k
Global constraints
geost_smallest_bb
Global constraints
global constraint
alldifferent
cumulative
disjunctive
regular
table
Global constraints
all_different
all_different_except
all_different_except_0
all_disjoint
all_equal
alternative
among
arg_max
arg_max_weak
arg_min
arg_min_weak
arg_sort
arg_val
arg_val_weak
at_least
,
[1]
at_most
,
[1]
at_most1
bin_packing
bin_packing_capa
bin_packing_load
bounded_dpath
bounded_path
circuit
connected
cost_mdd
cost_regular
count
count_eq
count_geq
count_gt
count_leq
count_lt
count_neq
cumulative
cumulatives
d_weighted_spanning_tree
dag
dconnected
decreasing
diffn
diffn_k
diffn_nonstrict
diffn_nonstrict_k
disjoint
disjunctive
disjunctive_strict
distribute
dpath
dreachable
dsteiner
dtree
element
exactly
,
[1]
geost
geost_bb
geost_nonoverlap_k
geost_smallest_bb
global_cardinality
global_cardinality_closed
global_cardinality_low_up
global_cardinality_low_up_closed
increasing
int_set_channel
inverse
inverse_in_range
inverse_set
knapsack
lex2
lex2_strict
lex_chain
lex_chain_greater
lex_chain_greatereq
lex_chain_greatereq_orbitope
lex_chain_less
lex_chain_lesseq
lex_chain_lesseq_orbitope
lex_greater
lex_greatereq
lex_less
lex_lesseq
link_set_to_booleans
maximum
maximum_arg
mdd
mdd_nondet
member
minimum
minimum_arg
network_flow
network_flow_cost
neural_net
nvalue
partition_set
path
piecewise_linear
range
reachable
regular
regular_nfa
roots
seq_precede_chain
sliding_sum
sort
span
steiner
strict_lex2
strictly_decreasing
strictly_increasing
subcircuit
subgraph
sum_pred
sum_set
symmetric_all_different
table
tree
value_precede
value_precede_chain
var_perm_sym
var_sqr_sym
weighted_spanning_tree
write
writes
writes_seq
global_cardinality
Global constraints
global_cardinality_closed
Global constraints
global_cardinality_low_up
Global constraints
global_cardinality_low_up_closed
Global constraints