MiniZincIDE

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

Cask开发工具Apple 芯片 · Intel
主页
来自 homebrew/cask
近 30 天安装12App榜第 1551
近一年安装124365 天累计
最新版本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 图形界面。安装通过 macOS 客户端或 brew 命令完成。

© 2026 OpenNavo