Hexaly Optimizer est un nouveau type de solveur d'optimisation globale. Son formalisme de modélisation est non linéaire et ensembliste, unifiant et étendant les concepts de modélisation issus de la programmation linéaire mixte, de la programmation non linéaire et de la programmation par contraintes. En interne, Hexaly combine diverses méthodes d'optimisation exactes et heuristiques, telles que le branch-and-bound, la génération de colonnes et de lignes, les méthodes de propagation, la recherche locale, la recherche directe, etc.

En termes de performances, Hexaly se distingue des principaux solveurs du marché, tels que Gurobi, IBM Cplex et Google OR Tools, en fournissant des solutions rapides et évolutives aux problèmes de tournées de véhicules, d'ordonnancement, de packing, de clustering et de localisation.

Cette présentation introduira notre formalisme de modélisation ensembliste et montrera ses capacités pour passer à l'échelle sur les instances de grande taille. Nous explorerons ensuite comment le solveur tire profit de ce formalisme pour utiliser automatiquement les techniques de résolution issues de l'état de l'art des domaines exact et heuristique.