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.

Herramientas de optimización de Google. Un paquete de software de código abierto para optimización, especializado en rutas de vehículos, flujos, programación lineal y entera, y programación de restricciones. Cuenta con el solucionador CP-SAT de clase mundial. Se utiliza para problemas de rutas de vehículos (VRP), programación, embalaje de contenedores, problemas de mochila, programación lineal (LP), programación entera (MIP), flujos de red, programación de restricciones, optimización combinatoria, asignación de recursos, programación de turnos, programación de talleres y problemas de optimización discreta. Fuente: tondevrel/scientific-agent-skills.