IBEX

Ibex is a library for interval-based solver/paver design that implements the Quimper language.

Quimper is a high-level language for QUick Interval Modeling and Programming in a bounded-ERror context, developed by Gilles Chabert and Luc Jaulin.

Download latest version on Sourceforge (sources for Linux and Windows)
Instructions for building Ibex/Quimper under Windows
Quimper Manual
Quimper Examples
Index of Ibex classes

Documentation of the Ibex API (first chapters, in French).
This is a draft we have started to write in mid-June 2010. There are only a few chapters available for the moments; new versions will be posted periodically. Last Update: Sept, 21 2010. It will also be translated in English soon.
Examples in the documentation

This work is currently supported by Ecole des Mines de Nantes. It has also been supported by ENSIETA (2007-2008).
The IBEX library is derived from a prototype developed at the COPRIN PROJECT of INRIA Sophia Antipolis during my PHD.

Warning

IBEX is not a new library for interval arithmetic. It is based on the BIAS/PROFIL library.
The current version of the QUIMPER programs suite is unstable.
Only a few of numerical algorithms are available. If you look for a full range of interval-based algorithms, see well-known solvers (RealPaver, Alias, Rsolver, GlobSol).

Other Contributors

Gilles Trombettoni (development, design)
Bertrand Neveu (development, test and benckmarking)
Luc Jaulin (design)