minizinc ☆
« Back to VersTracker
Description:
Medium-level constraint modeling language
Type: Formula  |  Latest Version: 2.9.4@0  |  Tracked Since: Oct 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: constraint-programming optimization modeling-language operations-research solver
Install: brew install minizinc
About:
MiniZinc is a high-level constraint modeling language designed for defining and solving optimization problems. It compiles down to FlatZinc, a low-level solver input language, enabling interoperability with a wide range of backend solvers. This tool is essential for developers and researchers in operations research, logistics, and AI for modeling complex combinatorial problems.
Key Features:
  • High-level, solver-agnostic constraint modeling language
  • Compiles to FlatZinc for broad solver compatibility (e.g., Gecode, COIN-OR)
  • Rich standard library for common data structures and constraints
  • IDE support and built-in visualization tools for analysis
Use Cases:
  • Optimizing logistics and scheduling problems (e.g., vehicle routing)
  • Solving resource allocation and planning tasks in operations research
  • Prototyping and benchmarking different constraint solving algorithms
Alternatives:
  • CP Optimizer – IBM's proprietary solver; MiniZinc is open-source and solver-agnostic.
  • OR-Tools – Google's suite; MiniZinc offers a more declarative, high-level modeling syntax.
Version History
Detected Version Rev Change Commit
Oct 28, 2025 12:55am 0 VERSION_BUMP 2383004c
Sep 28, 2025 11:43pm 0 VERSION_BUMP cd49777e
Sep 18, 2025 7:04am 0 VERSION_BUMP 9148f91a
Sep 14, 2024 4:19am 0 VERSION_BUMP d72c9696
« Back to VersTracker  |  Browse Packages  |  About