ibex ☆

« Back to VersTracker

Description:
C++ library for constraint processing over real numbers

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: c++ mathematics constraint-programming interval-analysis scientific-computing

Install: brew install ibex

About:
Ibex is a C++ library designed for constraint processing over real numbers, implementing the contractor programming paradigm. It provides robust and efficient methods for solving systems of equations and inequalities, making it ideal for complex numerical problems. Its core value lies in its ability to handle non-linear constraints with guaranteed precision.

Key Features:

Interval arithmetic and constraint propagation
Contractor programming paradigm for robust solving
C++ API for integration into larger applications
Supports non-linear systems of equations

Use Cases:

Robotics and motion planning
Parameter estimation and system identification
Solving non-linear engineering equations

Alternatives:

CAPD – Focuses more on rigorous numerics for ODEs and homotopy methods.
MATLAB Optimization Toolbox – Commercial suite with broader optimization algorithms but lacks specific contractor programming focus.

Version History

Detected	Version	Rev	Change	Commit
Jan 10, 2025 12:08am		0	VERSION_BUMP	a42f6f56