MiniZincIDE

Guido Tack · MiniZincの制約モデルを作成・実行するmacOS向け開発環境。探索や解を可視化し、性能をプロファイルできます。

Cask開発ツールApple シリコン · Intel

ホームページ

提供元 homebrew/cask

過去 30 日間のインストール数12Appランキング 1583 位

過去1年間のインストール数124過去365日間の合計

最新バージョン2.10.18月31日 · 8月31日

ダウンロードサイズ63MBarm64 / x86_64 · dmg

更新頻度不定期過去30日間に0回リリース

ソースリポジトリ: homebrew/cask
その他の名前: MiniZincIDE · minizincide
付属コマンド: minizinc mzn2doc
ダウンロードURL: 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"
      ]
    }
  ]
}