minizincide ☆
« Back to VersTracker
Description:
Open-source constraint modelling language and IDE
Type: Cask  |  Latest Version: 2.9.7@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
Version History
Detected Version Rev Change Commit
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
« Back to VersTracker  |  Browse Packages  |  About