ortools

OR-Tools provides specialized solvers for hard combinatorial problems. Its crown jewel is the CP-SAT solver, which uses Constraint Programming and Satisfiability techniques to find optimal solutions for scheduling and resource allocation problems that are impossible for standard linear solvers.

Official docs: https://developers.google.com/optimization GitHub: https://github.com/google/or-tools Search patterns: cpmodel.CpModel, pywraplp.Solver, routingenumspb2, AddConstraint

OR-Tools separates the Definition of the problem (Variables, Constraints, Objective) from the Solver engine. You build a model, then pass it to a solver instance.

Outils d'optimisation Google. Une suite logicielle open source d'optimisation, spécialisée dans les tournées de véhicules, les flux, la programmation entière et linéaire et la programmation par contraintes. Comprend le solveur CP-SAT de classe mondiale. Utilisation pour les problèmes d'itinéraire de véhicules (VRP), de planification, d'emballage de bacs, de problèmes de sac à dos, de programmation linéaire (LP), de programmation en nombres entiers (MIP), de flux de réseau, de programmation par contraintes, d'optimisation combinatoire, d'allocation de ressources, de planification des équipes, de planification d'atelier et d'optimisation discrète. Source : tondevrel/scientific-agent-skills.