ibex-lib

v 2.8.5

IBEX is a C++ library for constraint processing over real numbers.

IBEX is a C++ library for constraint processing over real numbers. It provides reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken into account. It is based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability to build strategies declaratively through the contractor programming paradigm. It can also be used as a black-box solver.

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

To install ibex-lib, paste this in macOS terminal after installing MacPorts

sudo port install ibex-lib

Add to my watchlist

Installations 0
Requested Installations 0