Command-line tool

minizinc

brew/minizinc

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Medium-level constraint modeling language

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install minizinc

Linux

brew install minizinc

Related command-line tools

• MiniZincIDE
  Open-source constraint modelling language and IDE programming 编程 优化 programming-language ide optimization language…
• ECLiPSe Constraint Logic Programming System Version 7.0
  ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index)…
• ECLiPSe Constraint Logic Programming System Version 7.1
  ECLiPSe Constraint Logic Programming System Version 7.1 (Windows package; no description in the winget index)…
• neko
  High-level, dynamically typed programming language
• tfupdate
  Update version constraints in your Terraform configurations
• Julia
  Programming language for technical computing
• julia
  Fast, Dynamic Programming Language programming-language science language 编程语言 语言 计算 numerical computation hpc 数值 科学…
• process-governor
  Set various constraints and limits on Windows processes

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents