otty / dotfiles
All tools/MiniZinc

MiniZinc

minizinc

Medium-level constraint modeling language

Detected by minizinc | macOS, Linux, Windows |www.minizinc.org
Sync it minizinc.toml

Sync rules

What travels, what stays, what never leaves
MiniZinc in your home directory Every rule on this page, by file
· Preferences.json Sync
· solvers/ Sync

Only what the catalog names. A directory that syncs brings everything inside it except what is listed as excluded here.

Use it with your dotfile manager

Same data, in the shape your tool already reads
Opens Otty and adds this tool to what it syncs

Opens otty://sync/add/minizinc. Otty ships with this catalog, so the link only has to name the tool — nothing is downloaded.

Every one of these is generated from the same rules as this page.