The MiniZinc Handbook
1. Overview
2. Minizinc 指南
3. User Manual
4. Reference Manual
The MiniZinc Handbook
索引
索引 – C
cache_result
Standard Library
card
Standard Library
cauchy
Standard Library
ceil
Standard Library
chisquared
Standard Library
chuffed_minimal_spanning_tree
Additional declarations for Chuffed
circuit
Global constraints
circuit_cost
Additional declarations for Gecode
circuit_cost_array
Additional declarations for Gecode
clause
Standard Library
coercion
automatic
bool2int
int2float
col
Standard Library
complete
Experimental Features
Standard Library
comprehension
generator
list
set
computed_domain
Standard Library
concat
Standard Library
concat_index_1
Standard Library
concat_index_2
Standard Library
concat_index_3
Standard Library
concat_index_4
Standard Library
concat_index_5
Standard Library
concat_index_6
Standard Library
connected
Global constraints
constraint
complex
higher order
local
redundant
set
constraint_name
Standard Library
context
!mixed
!negative
!positive
!root
mixed
negative
,
[1]
cos
Standard Library
cosh
Standard Library
cost_mdd
Global constraints
cost_regular
Global constraints
count
Global constraints
Standard Library
count_eq
Global constraints
count_geq
Global constraints
count_gt
Global constraints
count_leq
Global constraints
count_lt
Global constraints
count_neq
Global constraints
ctx_mix
Standard Library
ctx_neg
Standard Library
ctx_pos
Standard Library
ctx_root
Standard Library
cumulative
Global constraints
cumulatives
Global constraints