Download

 

Download:

release 2.4.1 (issued May 2017)

release 2.3.4 (issued March 2017).

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" and "./waf distclean").

 


PLUGINS
 
Download Name/Description Developed by Status Maintained? Documentation Licence Copyright
archive for ibex 2.4
archive for ibex 2.3
IbexOpt (Global optimization and System solving) G. Chabert, B. Neveu, J. Ninin, G. Trombettoni stable yes documentation LGPL (TBD)
archive for ibex 2.3 Ibex for CHOCO G. Chabert stable yes documentation LGPL Mines de Nantes
archive for ibex 2.4
archive for ibex 2.3
Contractors for SLAM B. Desrochers, L. Jaulin ?       LGPL ENSTA Bretagne
archive for ibex 2.4
archive for ibex 2.3
Affine Arithmetic J. Ninin, J.A. dit Sandretto, A. Chapoutot unstable yes   LGPL ENSTA Bretagne / ENSTA-ParisTech
archive for ibex 2.4
archive for ibex 2.3
Parameter Estimation (enhanced Q-intersection algorithm) C. Carbonnel stable no   LGPL (TBD)
archive for ibex 2.4
archive for ibex 2.3
AMPL file loader J. Ninin       LGPL ENSTA Bretagne