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.