索引 – 命

命令行选项 - --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