中等复杂度的约束建模语言
许可证: MPL-2.0
公式 JSON API: /api/formula/minizinc.json
公式代码: minizinc.rb
在 GitHub 上
提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
64位 Linux | ✅ |
当前版本
稳定版 | ✅ | 2.8.5 |
头部 | ⚡️ | HEAD |
依赖项
cbc | 2.10.11 | 混合整数线性规划求解器 |
gecode | 6.2.0 | 基于约束的开发系统和应用的工具包 |
从源码构建时依赖
cmake | 3.30.2 | 跨平台构建 |
分析
安装(30天) | |
---|---|
minizinc |
26 |
请求安装(30天) | |
minizinc |
26 |
构建错误(30天) | |
minizinc |
0 |
安装(90天) | |
minizinc |
191 |
请求安装(90天) | |
minizinc |
191 |
安装(365天) | |
minizinc |
1,063 |
minizinc --HEAD |
1 |
请求安装(365天) | |
minizinc |
1,063 |
minizinc --HEAD |
1 |