Résumé
IbexOpt est un module de la bibliothèque logicielle Ibex [3] de résolution de systèmes de contraintes sur intervalles. Ce module traite les problèmes d'optimisation globale sous contraintes. Il permet de trouver le minimum global d'une fonction non convexe de n variables réelles définie sur une boîte (chaque variable prend ses valeurs dans un intervalle borné) et soumis à des contraintes également non linéaires. Il applique une méthode complète de recherche arborescente par séparation - évaluation (Branch & Bound) en meilleur d'abord.