otty / apps

All apps/MiniZinc

MiniZinc

minizinc

Medium-level constraint modeling language

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

Open form in Otty otty.toml

Command form

ai-draft · 2 tasks · 11 fields

Solve a MiniZinc model with optional data files, solver choice and solution limits. Compiler tuning and output-file options are left out.

Opens the form; the finished command lands at your prompt, unrun

Run in Otty

otty gui minizinc

Solve a modelExample values, fixed in this page — nothing here reaches a terminal

Basic

Model file*

file

Data file

file

Solver

string

Advanced

Print statistics

--statistics

TasksEach one presets the form for one job

Solve

modeldatasolverstatistics

All solutions

modeldatasolverall_solutions

ParametersOnly these flags are editable in the form

Model file

path · positional 0

Data file

path · repeatable

--data-d

Solver

string

--solver

All solutions

boolean

--all-solutions-a

Stop after N solutions

integer

--num-solutions-n

Parallel threads

integer

--parallel-p

Free search

boolean

--free-search-f

Print statistics

boolean

--statistics-s

Verbose

boolean

--verbose

Compile only

boolean

--compile-c

Output mode

enum

--output-modeitemdznjson

SourcesEvery flag above is checked against 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

Before it fills your prompt, Otty checks the installed minizinc against its version. A form that does not match your version is not offered.