Higher Edu - Research dev card
Development from the higher education and research community
  • Creation or important update: 22/09/13
  • Minor correction: 22/09/13

Ibex : C++ numerical library based on interval arithmetic and constraint programming

This software was developed (or is under development) within the higher education and research community. Its stability can vary (see fields below) and its working state is not guaranteed.
  • Web site
  • System: UNIX-like, Windows, MacOS X
  • Current version: 2.0.9 - 28/08/2013
  • License(s): LGPL - v3
  • Status: beta release
  • Support: maintained, ongoing development
  • Designer(s): Ibex team
  • Contact designer(s): gilles.chabert @ mines-nantes.fr
  • Laboratory, service: Lab-STICC, LIGM, LINA, LIRMM, OSM, Universidad TĂ©cnica Federico Santa MarĂ­a (Chile)


General software features

This C++ library can be used to solve a variety of problems that can be formulated roughly as:

Find a reliable characterization with boxes (Cartesian product of intervals) of sets implicitely defined by constraints.

Where 'reliable' means that all sources of uncertainty should be taken into account, including:

  • approximation of real numbers by floating-point numbers,
  • round-off errors,
  • truncation linearization,
  • model parameter uncertainty,
  • measurement noise,
  • ...
Context in which the software is used

Tool for research in constraint programming.

Publications related to the software