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.
|
| 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 |
| Nov 27, 2023 5:12am |
|
0 |
VERSION_BUMP |
2861b6de |
| Oct 4, 2023 7:32am |
|
0 |
VERSION_BUMP |
7dcf688b |
| Jun 20, 2023 7:57pm |
|
0 |
VERSION_BUMP |
eb5d2e08 |
| Jun 20, 2023 10:31am |
|
0 |
VERSION_BUMP |
36146ffa |
| May 11, 2023 6:03am |
|
0 |
VERSION_BUMP |
ee17260d |
| Apr 20, 2023 5:20pm |
|
1 |
VERSION_BUMP |
da8f8f35 |
| Feb 23, 2023 12:16pm |
|
0 |
VERSION_BUMP |
75020165 |
| Feb 23, 2023 12:16pm |
|
0 |
VERSION_BUMP |
4e4535e1 |
| Jan 7, 2023 12:14am |
|
1 |
VERSION_BUMP |
b0577bd6 |
| Jan 7, 2023 12:14am |
|
1 |
VERSION_BUMP |
109c1529 |
|