# ibex を Homebrew でインストール

ibex のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

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

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install ibex
```

  証拠: local Homebrew formula metadata

## パッケージ情報

- **パッケージキー:** brew:ibex
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/ibex>
- **バージョン:** 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>
- **上流ドキュメント:** <https://ibex-team.github.io/ibex-lib>
- **ライセンス:** LGPL-3.0-only
- **ソースアーカイブ:** <https://github.com/ibex-team/ibex-lib/archive/refs/tags/ibex-2.9.1.tar.gz>
- **生成日時:** 2026-07-08T18:08:21+00:00

## 実行可能ファイル

- ibexopt (cli)
- ibexsolve (cli)
- ibexopt (エイリアス)
- ibexsolve (エイリアス)

## ビルド依存関係

- bison
- cmake
- flex
- pkgconf

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## バージョンと鮮度

- ページ生成日: 2026-07-08
- マネージャ版: 2.9.1
- ローカルデータ: OK
- 上流リポジトリ: https://github.com/ibex-team/ibex-lib
- 検出された最新: ibex-2.9.1 (最新)
- 情報: No package-manager update timestamp was available.
## プロジェクトの歴史と使われ方

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

## ソースデータベース詳細

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** ibex
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable


## 関連リンク

- [Source-control packages](https://www.automicvault.com/ja/pkg/source-control-tools/) - Belongs to a source-control command family.
- [Terminal utility packages](https://www.automicvault.com/ja/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Networking and protocol packages](https://www.automicvault.com/ja/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://www.automicvault.com/ja/pkg/scientific-computing-tools/) - Matched scientific computing metadata.
- [bison](https://www.automicvault.com/ja/pkg/brew/bison/) - Build dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/ja/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [flex](https://www.automicvault.com/ja/pkg/brew/flex/) - Build dependency declared by Homebrew.
- [pkgconf](https://www.automicvault.com/ja/pkg/brew/pkgconf/) - Build dependency declared by Homebrew.
- [gsl](https://www.automicvault.com/ja/pkg/brew/gsl/) - Shares av.db curated category or tags: cli, numerical-computing, science.
- [itpp](https://www.automicvault.com/ja/pkg/brew/itpp/) - Shares av.db curated category or tags: c-plus-plus, cli, numerical-computing, science.
- [octave](https://www.automicvault.com/ja/pkg/brew/octave/) - Shares av.db curated category or tags: cli, numerical-computing, science.
- [qd](https://www.automicvault.com/ja/pkg/brew/qd/) - Shares av.db curated category or tags: c-plus-plus, cli, numerical-computing, science.
- [clblas](https://www.automicvault.com/ja/pkg/brew/clblas/) - Shares av.db curated category or tags: cli, numerical-computing, science.
- [clblast](https://www.automicvault.com/ja/pkg/brew/clblast/) - Shares av.db curated category or tags: cli, numerical-computing, science.
- [clp](https://www.automicvault.com/ja/pkg/brew/clp/) - Shares av.db curated category or tags: c-plus-plus, cli, optimization, science.
- [flexiblas](https://www.automicvault.com/ja/pkg/brew/flexiblas/) - Shares av.db curated category or tags: cli, numerical-computing, science.
- [ipopt](https://www.automicvault.com/ja/pkg/brew/ipopt/) - Local package facts share a topical domain. Shared terms: cli, computing, numerical, numerical-computing, optimization.

## Combined YAML source

View the package source record on GitHub. [combined/ibex.yml](https://github.com/automic-vault/db/blob/main/combined/ibex.yml)


## ソース

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- av.db category and tag curation
- package relationship graph
- cross-ecosystem install command graph