Command-line tool

MiniZincIDE

cask/minizincide

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

Open-source constraint modelling language and IDE programming 编程 优化 programming-language ide optimization language modeling 建模 编程语言 语言 集成开发环境

Website

At a glance

Type

Command-line tool

Install on

Windows, macOS

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

winget install --id MiniZinc.MiniZincIDE -e

macOS

brew install --cask minizincide

Related command-line tools

• kona
  Open-source implementation of the K programming language
• latino
  Open source programming language for Latinos and Hispanic speakers
• 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)…
• pure-data
  The "vanilla" distribution of Pure Data (aka Pd Vanilla) is an open source visual programming language for multimedia.
• nim
  Statically typed compiled systems programming language
• soplex
  Optimization package for solving linear programming problems (LPs)
• go
  Open source programming language to build simple/reliable/efficient software go programming 编程 programming-language…

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