Related Projects
(under construction)
 |
CHOCO: A Java library for discrete constraint programming that can work with IBEX through a JNI bridge. |
 |
VIBES: A visualizer for intervals and boxes. |
 |
EASIBEX: A simplified C++ and MATLAB interface for IBEX. |
 |
PyIbex: A python binding of IBEX library. It aims at providing a basic interface of IBEX basic types (Interval, IntervalVector, Ctc, ...), high level functionnalities and contractors programming. |
| Dynibex: a plugin of Ibex that offers a set of validated numerical integration methods based on Runge-Kutta schemes to solve initial value problem of ordinary differential equations | |
| MISTRAL: A C++ library for discrete constraint programming. IBEX borrows some data structures of MISTRAL. |