ibex
安装命令
brew install ibexC++ 用于实数约束处理的库
https://github.com/ibex-team/ibex-lib
许可证：LGPL-3.0-only
公式 JSON API：/api/formula/ibex.json
公式代码：ibex.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Intel | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| 64位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2.8.9 |
| 头部版本 | ⚡️ | HEAD |
从源码构建时依赖项
| bison | 3.8.2 | 解析器生成器 |
| cmake | 3.30.2 | 跨平台构建工具 |
| flex | 2.6.4 | 快速词法分析器，生成扫描器（标记化器） |
| pkg-config | 0.29.2 | 管理库的编译和链接标志 |
要求：x86_64 架构
分析
| 安装（30天） | |
|---|---|
ibex |
0 |
| 按需安装（30天） | |
ibex |
0 |
| 构建错误（30天） | |
ibex |
0 |
| 安装（90天） | |
ibex |
8 |
| 按需安装（90天） | |
ibex |
8 |
| 安装（365天） | |
ibex |
60 |
| 按需安装（365天） | |
ibex |
60 |
