Ibex - An Interval based EXplorer
1.15
Copyright © 2007-2009, Gilles ChabertThis 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.15 (sources for Linux and Windows)
Instructions for building Ibex/Quimper under Windows
Download Quimper 1.12 (binary for windows Vista)
Quimper Manual
Quimper Examples
Index of Ibex classes
Ibex Manual (under preparation)
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
- Bertrand Neveu (development, test and benckmarking)
- Gilles Trombettoni (design)
- Luc Jaulin (design)
