(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. |