The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Index
Index – 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
command line option
-
--all-satisfaction
--all-solutions
--allow-multiple-assignments
--canonicalize
--checker
--cmdline-data
--cmdline-json-data
--compile
--compile-solution-checker
--compiler-statistics
--config-dirs
--data
--disable-all-satisfaction
--error-msg
--free-search
--fzn
--help
,
[1]
--ignore-leading-lines
--ignore-lines
--ignore-stdlib
--instance-check-only
--intermediate
--json-stream
--keep-paths
--MIPDMaxDensEE
--MIPDMaxIntvEE
--model
--model-check-only
--model-interface-only
--model-types-only
--no-flush-output
--no-intermediate
--no-optimize
--no-output-comments
--no-output-ozn
--non-unique
--not-sections
--num-solutions
--only-range-domains
--only-sections
--output-base
--output-fzn-to-file
--output-fzn-to-stdout
--output-mode
--output-non-canonical
--output-objective
--output-ozn-to-file
--output-ozn-to-stdout
--output-paths
--output-paths-to-file
--output-paths-to-stdout
--output-raw
--output-time
--output-to-file
--output-to-stdout
--ozn
--ozn-file
--parallel
--param-file
--pre-passes
--random-seed
--sac
--search-complete-msg
--shave
--soln-comma
--soln-sep
--soln-separator
--solution-checker
--solution-comma
--solution-separator
--solver
,
[1]
--solver-statistics
--solvers
--solvers-json
--statistics
--stdlib-dir
--two-pass
--unbounded-msg
--unknown-msg
--unsat-msg
--unsatorunbnd-msg
--use-gecode
--verbose
--verbose-compilation
--verbose-solving
--version
-a
,
[1]
-c
,
[1]
-d
-D
,
[1]
-e
-f
,
[1]
-G
-h
-i
,
[1]
,
[2]
-I
-l
-m
-n
,
[1]
-n-i
-O
-o
-O-
-O<n>
-p
,
[1]
-r
,
[1]
-s
,
[1]
-t
-v
,
[1]
-Werror
complete
Experimental Features
Standard Library
comprehension
generator
list
set
computed_domain
Standard Library
concat
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