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 个版本
介绍
MiniZincIDE 是用于开发 MiniZinc 程序的桌面环境。MiniZinc 是一种高级语言，可用于表达离散优化和约束满足问题。此 Homebrew cask 安装 macOS 应用，并提供 minizinc 和 mzn2doc 命令行工具。
你可以使用 IDE 编写和运行模型、可视化搜索过程与求解结果，并分析性能。MiniZinc 模型采用易读且带类型的语言结构，可使用不同的求解器技术运行，因此模型不必绑定到单一求解器。该语言还提供预定义约束，便于表达模型中的关系。
运行 brew install --cask minizincide 即可安装。此 cask 要求 macOS 12 或更高版本。安装后，可从“应用程序”打开 MiniZincIDE，或在终端中使用已安装的 minizinc 和 mzn2doc 命令。
MiniZincIDE 是建模和开发环境；可用的求解器技术取决于所使用的求解器。官方网站提供入门示例和学习资料，包括教程和用户手册。
来源：MiniZinc · Homebrew cask
新版本 2.10.1 更新内容 8月31日 · OpenNavo 编辑 · AI 翻译
- 发布软件包包含 IDE、编译器和求解器。