LocalSolver est un solveur global de type model & run basé sur des techniques exactes et heuristiques. Son formalisme d'entrée lui permet d'accepter tout modèle utilisant les opérateurs mathématiques usuels (arithmétiques, logiques, relationnels, etc.) avec des variables continues, entières ou ensemblistes. Les techniques exactes permettent d'obtenir de bornes et de prouver l'optimalité. Les heuristiques permettent de trouver rapidement de bonnes solutions et de
passer à l'échelle sur les plus grosses instances. Le formalisme de modélisation ensembliste de LocalSolver est particulièrement adapté pour la résolution des problèmes d'optimisation de la Supply Chain tels que l'optimisation de tour-
nées de véhicules ou l'ordonnancement de tâches. Ce formalisme a été élargi récemment avec l'introduction de nouveaux opérateurs de modélisation. Les techniques de résolution et de calcul de bornes ont également été renforcées sur ces problèmes. Cette présentation fera le tour des nouveautés introduites dans LocalSolver et illustrera les gains de performances sur des instances de la littérature.