Description:
Open-source constraint modelling language and IDE
|
|
Type: Cask
|
Latest Version: 2.10.1@0
|
Tracked Since: Dec 28, 2025
|
|
Links:
Homepage |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
constraint-programming
optimization
modeling
ide
solver
|
|
Install:
brew install --cask minizincide
|
About:
MiniZincIDE is a comprehensive, open-source development environment for constraint modeling. It provides an editor, compiler, and visualizer in one package, allowing users to model complex optimization problems efficiently. The tool translates high-level models into solver-specific input formats, enabling solutions for scheduling, resource allocation, and combinatorial problems.
|
Key Features:
- Integrated development environment with syntax highlighting and auto-completion
- Built-in visualization tools for analyzing model solutions and data
- Supports multiple back-end solvers including Gecode, CBC, and Gurobi
- Cross-platform compatibility with a unified user interface
|
Use Cases:
- Solving scheduling and timetabling problems in operations research
- Modeling and solving combinatorial optimization problems in logistics
|
Alternatives:
-
CP Optimizer
– IBM's commercial solver with advanced scheduling features but requires a license
-
OR-Tools
– Google's open-source toolkit with broader optimization algorithms but different modeling approach
|
| Detected |
Version |
Rev |
Change |
Commit |
| Sep 4, 2026 10:03am |
2.10.1 |
0 |
VERSION_BUMP |
727a2c19 |
| Jul 23, 2026 10:52am |
2.10.0 |
0 |
VERSION_BUMP |
9c869350 |
| Apr 30, 2026 5:15am |
2.9.7 |
0 |
VERSION_BUMP |
2a8f08dc |
| Apr 24, 2026 7:47am |
2.9.6 |
0 |
VERSION_BUMP |
309767c3 |
| Jan 23, 2026 1:18pm |
2.9.5 |
0 |
VERSION_BUMP |
6b5a587c |
| Sep 15, 2025 12:27pm |
2.9.3 |
0 |
VERSION_BUMP |
c0a29164 |
| Aug 18, 2025 5:46pm |
2.9.3 |
0 |
VERSION_BUMP |
9ea8de5b |
| Nov 26, 2023 9:57pm |
2.8.1 |
0 |
VERSION_BUMP |
f5af3e46 |
| Nov 16, 2023 4:29pm |
2.8.0 |
0 |
VERSION_BUMP |
4d3ca2eb |
| Jun 21, 2023 1:37pm |
2.7.6 |
0 |
VERSION_BUMP |
2898e54f |
| Apr 6, 2023 12:15am |
2.7.2 |
0 |
VERSION_BUMP |
b3fcb2f6 |
| Mar 31, 2023 1:30pm |
2.7.1 |
0 |
VERSION_BUMP |
024473ea |
| Feb 24, 2023 9:13am |
2.7.0 |
0 |
VERSION_BUMP |
90cc23bb |
| Jun 27, 2022 4:24am |
2.6.4 |
0 |
VERSION_BUMP |
a9189eb4 |
|