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.
Higher Edu - Research dev card
  • Creation or important update: 22/09/13
  • Minor correction: 22/09/13
  • Index card author: Pascal Monasse (LIGM)
  • Theme leader: Teresa Gomez-Diaz (LIGM)
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 software