Equipe / Team : TASC
Participants : G. Chabert (correspondant), B. Neveu, J. Ninin, L. Jaulin, G. Trombettoni
Licence : GNU LGPL
Mots clés : Programmation par contraintes, contraintes continues, intervalles, C++
Résumé : IBEX est une bibliothèque de programmation par contraintes en C++ pour traiter les contraintes non linéaire dans le continu en utilisant l’arithmétique d’intervalles. IBEX est basé sur le paradigme de la programmation par
contracteurs. Il permet de traiter des systèmes de contraintes non-linéaires et de faire de l’optimisation globale. IBEX a été téléchargé en moyenne 183 fois par mois ces 12 derniers mois
