IBEX

Equipe / Team : OGRE

Licence : GNU LGPL

Mots clés : Bibliothèque C++ ; Résolution et optimisation par intervalle

Résumé : IBEX est une bibliothèque C++ pour la conception d’algorithme ensembliste haut-niveau (outils de résolution).