MiniZincIDE
brew install --cask minizincide
v2.9.7
Open-source constraint modelling language and IDE
9
30-day installs · #4339
26
90-day · #4376
128
365-day · #4009
Links
- https://www.minizinc.org/index.html
- Brew formula source: Casks/m/minizincide.rb
Raw metadata
{
"alternatives": [],
"artifacts": [
{
"app": [
"MiniZincIDE.app"
],
"target": "/Applications/MiniZincIDE.app"
},
{
"binary": [
"$APPDIR/MiniZincIDE.app/Contents/Resources/minizinc"
],
"target": "$HOMEBREW_PREFIX/bin/minizinc"
},
{
"binary": [
"$APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc"
],
"target": "$HOMEBREW_PREFIX/bin/mzn2doc"
},
{
"zap": [
{
"trash": [
"~/Library/Preferences/org.minizinc.MiniZinc IDE (bundled).plist",
"~/Library/Saved Application State/org.minizinc.MiniZincIDE.savedState"
]
}
]
}
],
"auto_updates": null,
"categories": [],
"deprecated": 0,
"deprecation_reason": null,
"desc": "Open-source constraint modelling language and IDE",
"disable_reason": null,
"disabled": 0,
"display_name": "MiniZincIDE",
"enrichment_fetched_at": "2026-06-20T22:46:54+00:00",
"first_seen": "2026-06-20T00:47:34+00:00",
"full_token": "minizincide",
"github_default_branch": null,
"github_last_commit_at": null,
"github_readme_excerpt": null,
"github_repo": null,
"github_stars": null,
"github_topics": [],
"homepage": "https://www.minizinc.org/index.html",
"homepage_og_description": null,
"homepage_og_image": null,
"homepage_title": "MiniZinc",
"installs_30d": 9,
"installs_365d": 128,
"installs_90d": 26,
"last_seen": "2026-06-20T00:47:34+00:00",
"llm_generated_at": null,
"llm_model": null,
"names": [
"MiniZincIDE"
],
"one_liner": null,
"rank_30d": 4339,
"rank_365d": 4009,
"rank_90d": 4376,
"raw_hash": "306cc3952dbb17be",
"ruby_source_path": "Casks/m/minizincide.rb",
"tap": "homebrew/cask",
"token": "minizincide",
"version": "2.9.7",
"why_use_this": null
}