MiniZincIDE

Guido Tack · A macOS development environment for writing and running MiniZinc constraint models, with tools to inspect solutions and profile performance.

CaskDeveloper ToolsApple silicon · Intel

Homepage

From homebrew/cask

30-day installs12#1550 in App

1-year installs124Last 365 days

Latest version2.10.1Aug 31 · Aug 31

Download size63MBarm64 / x86_64 · dmg

Release cadenceIrregular0 releases in 30 days

System and architecture

System requirements: >= 12

Platform availability

macOS 27 · Intel · 2.10.1 >= 12
macOS 27 · Apple chip · 2.10.1 >= 12
macOS 26 · Intel · 2.10.1 >= 12
macOS 26 · Apple chip · 2.10.1 >= 12
macOS 15 · Intel · 2.10.1 >= 12
macOS 15 · Apple chip · 2.10.1 >= 12
macOS 14 · Intel · 2.10.1 >= 12
macOS 14 · Apple chip · 2.10.1 >= 12
macOS 13 · Intel · 2.10.1 >= 12
macOS 13 · Apple chip · 2.10.1 >= 12
macOS 12 · Intel · 2.10.1 >= 12
macOS 12 · Apple chip · 2.10.1 >= 12

View full declaration

{
  "macos": {
    ">=": [
      "12"
    ]
  }
}

Tap: homebrew/cask
Also known as: MiniZincIDE · minizincide
Commands: minizinc mzn2doc
Download URL: github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-x86_64-apple-darwin.dmg
SHA-256: c5b50d62ab493a35…
Homebrew definition: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/m/minizincide.rb
formulae.brew.sh: formulae.brew.sh/cask/minizincide
Source code: github.com/MiniZinc/MiniZincIDE

Installation and removal contents

Uninstall uninstall

View full declaration

{
  "uninstall": [
    {
      "quit": "org.minizinc.MiniZincIDE"
    }
  ]
}

Install app
Source file: MiniZincIDE.app
Declared destination: /Applications/MiniZincIDE.app
View full declaration
```
{
  "app": [
    "MiniZincIDE.app"
  ],
  "target": "/Applications/MiniZincIDE.app"
}
```
Install binary
Source file: $APPDIR/MiniZincIDE.app/Contents/Resources/minizinc
Declared destination: $HOMEBREW_PREFIX/bin/minizinc
View full declaration
```
{
  "binary": [
    "$APPDIR/MiniZincIDE.app/Contents/Resources/minizinc"
  ],
  "target": "$HOMEBREW_PREFIX/bin/minizinc"
}
```
Install binary
Source file: $APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc
Declared destination: $HOMEBREW_PREFIX/bin/mzn2doc
View full declaration
```
{
  "binary": [
    "$APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc"
  ],
  "target": "$HOMEBREW_PREFIX/bin/mzn2doc"
}
```

Remove user data zap

View full declaration

{
  "zap": [
    {
      "trash": [
        "~/Library/Preferences/org.minizinc.MiniZinc IDE (bundled).plist",
        "~/Library/Saved Application State/org.minizinc.MiniZincIDE.savedState"
      ]
    }
  ]
}