MiniZincIDE
Development environment for MiniZinc constraint models
Free · Open sourceLatest versionMacWindows
About MiniZincIDE
MiniZinc IDE
Integrated development environment for the high-level constraint modelling language MiniZinc.
MiniZinc Compiler · Documentation · Report Bug
Getting started
Packages for Linux, macOS and Windows can be found in the releases (opens in a new tab) or from [the MiniZinc website](http://www.minizinc.org/software.html).
These packages contain the MiniZinc IDE, the MiniZinc compiler toolchain, as well as several solvers.
For more detailed installation instructions, see the documentation (opens in a new tab).
Running tests
The IDE has a test suite which can be compiled and run with:
Description adapted from the project README.
- Version
- 2.10.1
- Updated
- Aug 31, 2026
- Size
- 32 MB to 60 MB
- License
- Mozilla Public License 2.0
Open source details
- Source code
- Exact source for 2.10.1
- Released
- Aug 31, 2026
- GitHub stars
- 180
- Website
- minizinc.org
Community project. Help and bug reports go to the maintainers on GitHub; AppsXi does not provide support for this app.
License
Weak copyleftMozilla Public License 2.0
Changes to its own files must stay open; it can ship inside apps under other licenses.
Read the full licenseHow this app was checked
AppsXi checks every version before it is listed.
Mac
Signed by Guido Tack (8545YFG77T)
Apple Developer ID team 8545YFG77T
Notarized by Apple
Hardened Runtime on
File matches the hash GitHub published
SHA-256 6ab899c06a06bd7542f4df2b39e5afaa1658d6af30a65548a249048d1b3468bc
No malware found
ClamAV 1.5.4 on Oct 14, 2026
Install and behavior test in a virtual machine: not run yet
Coming soon for all listings.
Windows
Signed by Brushtail Digital
Certificate from Microsoft ID Verified CS EOC CA 04,O=Microsoft Corporation,C=US
Signature is timestamped
File matches the hash GitHub published
SHA-256 c64f429d4986363aa11fe80be9b2ca43058406e45d529622535ee5d39361969a
No malware found
ClamAV 1.5.4 on Oct 14, 2026
Install and behavior test in a virtual machine: not run yet
Coming soon for all listings.
Versions
2.10.1checked
Checked Oct 14, 2026 · Mac and Windows
DMG · 60 MB, DMG · 57 MB, EXE · 32 MB, EXE · 42 MB
Questions about MiniZincIDE
Is MiniZincIDE free?
Yes. MiniZincIDE is free and open source under the Mozilla Public License 2.0. AppsXi lists the maintainers' official release and does not charge for it.
Is MiniZincIDE safe to download?
AppsXi downloads every version of MiniZincIDE from the maintainers' official GitHub release and checks it before it is listed. For version 2.10.1 (checked Oct 14, 2026), the Mac download is signed by its developer and notarized by Apple, the Windows download is Authenticode signed, each file matches the checksum GitHub publishes for the release, byte for byte and a malware scan found nothing.
Does MiniZincIDE run on Apple silicon Macs?
Yes. MiniZincIDE has a native Apple silicon build, and it runs on Intel Macs too.
Who makes MiniZincIDE?
MiniZincIDE is an open source project by MiniZinc on GitHub (MiniZinc/MiniZincIDE). Help and bug reports go to its maintainers there.
Reviews
No reviews yet. Anyone who downloads it from AppsXi while signed in can review it a day later.
Something wrong with this app? Report a problem. Maintainer? Claim this listing or ask us to remove it.
