macOS
Homebrew已验证 · 100%
brew install ibexlocal Homebrew formula metadata
安装
其他安装命令
概览
软件包摘要
C++ library for constraint processing over real numbers
历史
项目历史与用法
IBEX is a C++ numerical library for interval arithmetic and constraint programming over real numbers, distributed with command-line tools such as IbexSolve and IbexOpt.
项目历史
The IBEX documentation describes the library as a layered toolkit: symbolic-numeric interval calculations, contractor programming, and system solving or global optimization. The documentation copyright line spans 2007-2020 under IMT Atlantique, while the GitHub repository records release tags from the 1.x series through the 2.x series.
采用历史
IBEX is a specialist scientific-computing package rather than a mass-market developer tool. Its adoption is visible through the maintained documentation site, GitHub releases, Homebrew packaging, and the presence of solver executables that let users try interval methods without embedding the C++ API first.
使用方式
Users apply IBEX to constraint satisfaction, set characterization, interval computations, contractor-based pruning, and global optimization. The docs emphasize reliable characterization with boxes and account for uncertainty sources such as floating-point approximation, round-off error, model uncertainty, and measurement noise.
为什么软件包爱好者会关心
IBEX matters to package nerds because it is a rare Homebrew formula in the rigorous numerical-constraint niche: it packages both a C++ library and solver CLIs, pulls in parser/build dependencies such as Bison, Flex, CMake, and pkgconf, and exposes a domain-specific modeling language, Minibex.
时间线
- 2007-2020: The published documentation carries an IMT Atlantique copyright range.
- ibex-1.19: The repository contains a release tag for the 1.x line.
- ibex-2.0.x: The repository tag history shows the transition to the 2.x line.
- 2025: The GitHub releases page lists v2.9.1 as an April 2025 release.
Related projects
- The documentation says IBEX relies on third-party interval arithmetic libraries such as Gaol or Filib depending on platform, and it points to plugins or packages for affine arithmetic, AMPL compatibility, and semi-infinite programming.
来源
安全态势
风险级别：绿色
library-like package without higher-risk signals.
风险分类器
绿色 风险 · 低 置信度 · appliance
原因
- library-like package without higher-risk signals
信号
- metadata:library-like
安装行为
- 未记录 Homebrew bottle 元数据。
建议审查
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
已安装的可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
ibexopt | 可执行文件 | 已索引可执行文件 | 从本地可执行文件索引发现。 |
ibexsolve | 可执行文件 | 已索引可执行文件 | 从本地可执行文件索引发现。 |
新鲜度
版本和新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
页面生成时间2026-08-03
管理器版本2.9.1
管理器更新时间
本地数据未知
上游不可用
检测到的最新版本未检测到
- OK没有生成新鲜度警告。
安装元数据
软件包元数据
| 软件包键 | brew:ibex |
|---|---|
| 版本 | 2.9.1 |
| 软件包管理器 | Homebrew |
| 主页 | https://ibex-team.github.io/ibex-lib/ |
| 仓库 | https://github.com/ibex-team/ibex-lib |
| Bottle | 未记录 |
| 服务 | 未声明 |
来源线索
由仓库数据生成
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
Combined YAML source
View the package source record on GitHub.
使用的来源
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- pkg.so package database
- pkgdb category and tag curation