安装

其他安装命令

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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

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

使用 Homebrew 安装 ibex