release 2.7.4 (issued November 2018). Compatible with CHOCO 4.0.6.

release 2.6.6 (issued September 2018). Compatible with CHOCO 4.0.6.

The last Ibex release is also available under the "master" branch of a Github project.

Release Notes:

For instructions about installation, see the documentation.

Ibex offers various plugins. To install a plugin, just uncompress the archive in the "plugins" subfolder of Ibex.
However,  each time you reconfigure Ibex with different plugins, clean your installation first (make "./waf uninstall distclean").


Download Name/Description Developed by Status Maintained? Documentation Licence Copyright
(distributed with ibex) IbexSolve (System solving) G. Chabert, A. Goldsztejn stable yes documentation LGPL IMT Atlantique
(distributed with ibex) IbexOpt (Global optimization and System solving) G. Chabert, B. Neveu, J. Ninin, G. Trombettoni stable yes documentation LGPL (TBD)
(distributed with ibex) Ibex for CHOCO G. Chabert stable yes documentation LGPL IMT Atlantique
for ibex 2.6 only
SIP (semi-infinite programming) A. Marendet beta yes LGPL IMT Atlantique
archive Contractors for SLAM B. Desrochers, L. Jaulin ?       LGPL ENSTA Bretagne
archive Affine Arithmetic J. Ninin, J.A. dit Sandretto, A. Chapoutot unstable yes   LGPL ENSTA Bretagne / ENSTA-ParisTech
archive Parameter Estimation (enhanced Q-intersection algorithm) C. Carbonnel stable no   LGPL (TBD)
archive AMPL file loader J. Ninin       LGPL ENSTA Bretagne