Ibex - An Interval based EXplorer

1.18

This work is licensed under the Gnu Public Licence (GPL).

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 Ibex/Quimper 1.18 (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. 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 been supported by ENSIETA (2007-2008) and INRIA Sophia Antipolis (2004-2006).
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 or Baron).

Other Contributors

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