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