MiniZincIDE

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

Cask開発ツールApple シリコン · Intel
提供元 homebrew/cask
過去 30 日間のインストール数11Appランキング 1579 位
過去1年間のインストール数123過去365日間の合計
最新バージョン2.10.18月31日 · 8月31日
ダウンロードサイズ63MBarm64 / x86_64 · dmg
更新頻度不定期過去30日間に0回リリース
  1. 2.10.1

    最新パッチ8月31日(月)

    OpenNavo編集部Homebrewへの登録 9月4日 00:03

    本リリース告知では、2.10.1 の変更履歴を案内しています。バンドルには IDE、コンパイラー、ソルバーが含まれます。

    リリース
    バンドルには IDE、コンパイラー、ソルバーが含まれます。告知では 2.10.1 の変更履歴を案内しています。
  2. 2.10.0

    7月23日(木)

    OpenNavo編集部Homebrewへの登録 7月23日 10:52

    リリース告知では、詳細について 2.10.0 の変更履歴を参照するよう案内しています。

    詳細
    告知は変更履歴を参照するよう案内しています。
  3. 2.9.7

    パッチ4月30日(木)

    OpenNavo編集部Homebrewへの登録 4月30日 05:15

    リリース告知では詳細の確認先として変更履歴を案内していますが、告知自体には具体的な変更の記載がありません。

    詳細
    リリースの詳細は変更履歴を参照してください。

オープンソースのHomebrew用GUIです。インストールはmacOSクライアントまたはbrewコマンドで行います。

© 2026 OpenNavo