インストール

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

macOS

Homebrew確認済み · 100%

brew install ibex

local Homebrew formula metadata

概要

パッケージ概要

C++ library for constraint processing over real numbers

プロジェクトリンク

コマンドとエイリアス

ibexopt
ibexsolve

履歴

プロジェクトの歴史と使われ方

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

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは 5 個のプラットフォームターゲットで利用できます。
ビルドメタデータには 4 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`ibexopt`	cli	グローバル実行可能ファイル
`ibexsolve`	cli	グローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-08

マネージャ版2.9.1

マネージャ更新日

ローカルデータOK

上流最新

検出された最新ibex-2.9.1

https://github.com/ibex-team/ibex-lib

情報No package-manager update timestamp was available.信頼度低

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:ibex
バージョン	2.9.1
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/ibex
ホームページ	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
ビルド依存関係	bison, cmake, flex, pkgconf
Bottle	利用可能 (対象 arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

Combined YAML source

View the package source record on GitHub.

combined/ibex.yml

使用ソース

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

ibex を Homebrew でインストール