OR-Tools' Vehicle Routing Solver: a Generic Constraint-Programming Solver with Heuristic Search for Routing Problems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

OR-Tools' Vehicle Routing Solver: a Generic Constraint-Programming Solver with Heuristic Search for Routing Problems

Thibaut Cuvelier
Frederic Didier
  • Fonction : Auteur
Vincent Furnon
  • Fonction : Auteur
Steven Gay
  • Fonction : Auteur
Sarah Mohajeri
  • Fonction : Auteur
Laurent Perron
  • Fonction : Auteur

Résumé

OR-Tools is the general-purpose optimisation toolbox open-sourced by Google in 2015, being in development since 2008. This toolkit provides a uniform interface to several solvers, both first- and third-party. In particular, it offers a high-level interface for vehicle-routing problems (VRPs). OR-Tools contains several solvers, in particular two CP solvers, CP* (since the first open-source release) and CP-SAT (gold-medal winner at several MiniZinc competitions, developed since 2009), but also two linear solvers: the simplex-based Glop (since 2014), and PDLP, a first-order large-scale linear solver. OR-Tools is being actively developed, with approximately quarterly releases. Outside Google, the solver suite is easily accessible via Google Cloud, either for solving VRPs or mixed-integer linear programs, although the latter API is not yet in general access. The routing component has historically played a strong role in the development of the overall solver; its major focus is on solving large-scale industrial vehicle-routing problems with complex constraints: vehicle capacities with various starting/ending depots, client time windows considering road traffic and driver breaks, pick-up-and-delivery precedence rules, incompatible shipments within the same vehicle, solution similarity to a previous call to the solver, etc. To this end, a high-level modelling API is proposed to the users in Python, C++, Java, and C#, using only routing concepts, even though the user has access to the underlying constraint-programming model. From an algorithmic point of view, the routing solver is organised in three parts: (i) first-solution heuristics generate good potential vehicle tours; (ii) local search improves the first solutions, with metaheuristics to guide the search; (iii) a CP engine proves the optimality of the best solution or improves upon it. The main difference with many academic solvers is the focus on generality in the solver, including its heuristics.
Fichier principal
Vignette du fichier
ROADEF_2023_ORTools.pdf (127.74 Ko) Télécharger le fichier
ROADEF_2023_ORTools_slides.pdf (458.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04015496 , version 1 (06-03-2023)

Licence

Identifiants

  • HAL Id : hal-04015496 , version 1

Citer

Thibaut Cuvelier, Frederic Didier, Vincent Furnon, Steven Gay, Sarah Mohajeri, et al.. OR-Tools' Vehicle Routing Solver: a Generic Constraint-Programming Solver with Heuristic Search for Routing Problems. 24e congrès annuel de la société française de recherche opérationnelle et d'aide à la décision, ROADEF, Feb 2023, Rennes, France. ⟨hal-04015496⟩
184 Consultations
1758 Téléchargements

Partager

More