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	Change	Commit
Apr 30, 2026 5:15am	2.9.7	VERSION_BUMP	2a8f08dc
Apr 24, 2026 7:47am	2.9.6	VERSION_BUMP	309767c3
Jan 23, 2026 1:18pm	2.9.5	VERSION_BUMP	6b5a587c
Sep 15, 2025 12:27pm	2.9.3	VERSION_BUMP	c0a29164
Aug 18, 2025 5:46pm	2.9.3	VERSION_BUMP	9ea8de5b
Nov 26, 2023 9:57pm	2.8.1	VERSION_BUMP	f5af3e46
Nov 16, 2023 4:29pm	2.8.0	VERSION_BUMP	4d3ca2eb
Jun 21, 2023 1:37pm	2.7.6	VERSION_BUMP	2898e54f
Apr 6, 2023 12:15am	2.7.2	VERSION_BUMP	b3fcb2f6
Mar 31, 2023 1:30pm	2.7.1	VERSION_BUMP	024473ea
Feb 24, 2023 9:13am	2.7.0	VERSION_BUMP	90cc23bb