MiniZinc

minizinc

Medium-level constraint modeling language

Runs as minizinc|macOS, Linux, Windows|www.minizinc.org

Open form in Otty otty.toml

What the manifest covers

3 sections, each its own tab

Command form

ai-draft · 2 tasks · 11 fields

otty gui minizinc opens Solve a model and fills your prompt with the command.

Autocomplete

generated · 2.1 KB

Subcommands, options and argument candidates Otty offers as you type.

Dotfiles

2 paths

Where it keeps its config, which parts are credentials, and which lines belong to one machine.

Published manifest

Immutable: every revision keeps its URL and its digest

Version window

All versions

Revision

4ede38788072fd608a55e3b40960743341ea4e9147f9f38c2da3fa99f9d9043d

Read it

otty.toml · JSON · API metadata

SourcesEvery field cites one of these

manual

--solver <id>, --solver <solver configuration file>.msc -a, --all-solutions -n , --num-solutions -p , --parallel -r , --random-seed -f, --free-search -s, --statistics -v, -l, --verbose -c, --compile -d <file>, --data <file> -D <data>, --cmdline-data <data> --output-mode <item|dzn|json> --solvers

manualstable 2026-10-27

docs.minizinc.org