macOS
Homebrewverified · 100%
brew install ibexlocal Homebrew formula metadata
brew
Install ibex with Homebrew
C++ library for constraint processing over real numbers. Version 2.9.1 via Homebrew; verified from local package data.
install
Additional install commands
overview
Package summary
C++ library for constraint processing over real numbers
Project links
Commands and aliases
- ibexopt
- ibexsolve
history
Project history and usage
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.
Project history
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.
Adoption history
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.
How it is used
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.
Why package nerds care
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.
Timeline
- 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.
Sources
security posture
Risk level: green
library-like package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- library-like package without higher-risk signals
Signals
- metadata:library-like
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 5 platform targets.
- Build metadata lists 4 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
ibexopt | cli | global executable | |
ibexsolve | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version2.9.1
manager updated
local dataok
upstreamcurrent
latest detectedibex-2.9.1
https://github.com/ibex-team/ibex-lib
- infoNo package-manager update timestamp was available.low confidence
install metadata
Package metadata
| Package key | brew:ibex |
|---|---|
| Version | 2.9.1 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/ibex |
| Homepage | https://ibex-team.github.io/ibex-lib/ |
| Repository | https://github.com/ibex-team/ibex-lib |
| Upstream docs | https://ibex-team.github.io/ibex-lib |
| License | LGPL-3.0-only |
| Source archive | https://github.com/ibex-team/ibex-lib/archive/refs/tags/ibex-2.9.1.tar.gz |
| Build dependencies | bison, cmake, flex, pkgconf |
| Bottle | available (on arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| 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 |
|
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- 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