Download

 

Download:

release 2.4.2 (issued June 2017). Note: CHOCO is not compatible yet with Ibex 2.4.x, use the older release below.

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 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