macOS
Homebrewverifiziert · 100%
brew install ibexlocal Homebrew formula metadata
brew
ibex mit Homebrew installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für ibex in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Überblick
Paketzusammenfassung
C++ library for constraint processing over real numbers
Projektlinks
Befehle und Aliase
- ibexopt
- ibexsolve
Verlauf
Projektgeschichte und Nutzung
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.
Projektgeschichte
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.
Adoptionsgeschichte
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.
Wie es verwendet wird
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.
Warum Paket-Nerds sich dafür interessieren
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.
Zeitleiste
- 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.
Quellen
Sicherheitslage
Risikostufe: grün
library-like package without higher-risk signals.
Risikoklassifikator
grün Risiko · niedrig Konfidenz · appliance
Warum
- library-like package without higher-risk signals
Signale
- metadata:library-like
Installationsverhalten
- In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
- Homebrew-Bottle-Metadaten sind für 5 Plattformziele verfügbar.
- Build-Metadaten listen 4 Build-Abhängigkeiten.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
ibexopt | cli | globales Executable | |
ibexsolve | cli | globales Executable |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-07-08
Manager-Version2.9.1
Manager aktualisiert
lokale DatenOK
Upstreamaktuell
neueste erkannte Versionibex-2.9.1
https://github.com/ibex-team/ibex-lib
- InfoNo package-manager update timestamp was available.niedrig Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:ibex |
|---|---|
| Version | 2.9.1 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/ibex |
| Homepage | https://ibex-team.github.io/ibex-lib/ |
| Repository | https://github.com/ibex-team/ibex-lib |
| Upstream-Dokumentation | https://ibex-team.github.io/ibex-lib |
| Lizenz | LGPL-3.0-only |
| Quellarchiv | https://github.com/ibex-team/ibex-lib/archive/refs/tags/ibex-2.9.1.tar.gz |
| Build-Abhängigkeiten | bison, cmake, flex, pkgconf |
| Bottle | verfügbar (auf arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Registry-Fakten
Details aus der Quelldatenbank
| 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 |
|
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Combined YAML source
View the package source record on GitHub.
Verwendete Quellen
- 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