# 使用 Homebrew 安装 ibex

查看 ibex 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:ibex
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install ibex
```

  证据: local Homebrew formula metadata

## 软件包事实

- **软件包键:** brew:ibex
- **软件包管理器:** Homebrew
- **版本:** 2.9.1
- **来源摘要:** C++ library for constraint processing over real numbers
- **主页:** <https://ibex-team.github.io/ibex-lib/>
- **仓库:** <https://github.com/ibex-team/ibex-lib>
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- ibexopt (别名)
- ibexsolve (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 2.9.1
## 项目历史与用法

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.

### 来源

- <https://formulae.brew.sh/formula/ibex>
- <https://github.com/ibex-team/ibex-lib>
- <https://github.com/ibex-team/ibex-lib/releases>
- <https://ibex-team.github.io/ibex-lib/>
- <https://ibex-team.github.io/ibex-lib/intro.html>


## 安全说明

library-like package without higher-risk signals.

- **Geiger 风险:** 绿色 / 低
- library-like package without higher-risk signals


## Combined YAML source

View the package source record on GitHub. [combined/ibex.yml](https://github.com/mxcl/pkgdb/blob/main/combined/ibex.yml)


## 来源

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- cross-ecosystem install command graph