- !=
-
'!='
-
'*'
-
'+'
-
'++'
-
'-'
-
'->'
-
'..'
-
'..<'
-
'/'
-
'/\'
-
'<'
-
'<-'
-
'<->'
-
'<..'
-
'<..<'
-
'<='
-
'='
-
'>'
-
'>='
-
'\/'
-
'^'
-
'diff'
-
'div'
-
'in'
-
'intersect'
-
'mod'
-
'not'
-
'subset'
-
'superset'
-
'symdiff'
-
'union'
-
'xor'
- *
- +
- -
-
- --input-from-stdin
-
--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
-
--MIPDMaxDensEE <n>
-
--MIPDMaxIntvEE <n>
-
--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
-
--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
-
-a
-
-a, --all-solutions
-
-c, --canonicalize
-
-c, --compile
-
-D "fMIPdomains=false"
-
-D <data>, --cmdline-data <data>
-
-d <file>, --data <file>
-
-e, --model-check-only
-
-f
-
-f, --free-search
-
-G --globals-dir --mzn-globals-dir <dir>
-
-i
-
-I --search-dir
-
-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>
-
-O, --ozn, --output-ozn-to-file <file>
-
-O<n>
-
-p <i>
-
-p <i>, --parallel <i>
-
-r <i>
-
-r <i>, --random-seed <i>
-
-s
-
-s, --statistics
-
-t <ms>
-
-v
-
-v, -l, --verbose
-
-Werror
-
..<o
-
..o
- <
-
<..<o
-
<..o
- <=
- =
- ==
- >
- >=
-
~!=
-
~*
-
~+
-
~-
-
~/
-
~=
-
~div
|