MiniZincIDE

Guido Tack · 用于编写和运行 MiniZinc 约束模型的 macOS 开发环境，可查看求解过程与结果并分析性能。

Cask开发工具Apple 芯片 · Intel

主页

来自 homebrew/cask

近 30 天安装14App榜第 1586

近一年安装126365 天累计

最新版本2.10.18月31日 · 8月31日

下载大小63MBarm64 / x86_64 · dmg

更新节奏不定期近 30 天 0 个版本

来源仓库: homebrew/cask
其他名称: MiniZincIDE · minizincide
附带命令: minizinc mzn2doc
下载地址: github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-aarch64-apple-darwin.dmg
SHA-256: 6ab899c06a06bd75…
Homebrew 定义文件: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/m/minizincide.rb
formulae.brew.sh: formulae.brew.sh/cask/minizincide
源代码: github.com/MiniZinc/MiniZincIDE

安装与卸载内容

卸载 uninstall

查看完整声明

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

安装 app
来源文件: MiniZincIDE.app
声明的目标位置: /Applications/MiniZincIDE.app
查看完整声明
```
{
  "app": [
    "MiniZincIDE.app"
  ],
  "target": "/Applications/MiniZincIDE.app"
}
```
安装 binary
来源文件: $APPDIR/MiniZincIDE.app/Contents/Resources/minizinc
声明的目标位置: $HOMEBREW_PREFIX/bin/minizinc
查看完整声明
```
{
  "binary": [
    "$APPDIR/MiniZincIDE.app/Contents/Resources/minizinc"
  ],
  "target": "$HOMEBREW_PREFIX/bin/minizinc"
}
```
安装 binary
来源文件: $APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc
声明的目标位置: $HOMEBREW_PREFIX/bin/mzn2doc
查看完整声明
```
{
  "binary": [
    "$APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc"
  ],
  "target": "$HOMEBREW_PREFIX/bin/mzn2doc"
}
```

清理用户数据 zap

查看完整声明

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