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.

Инструменты оптимизации Google. Программный пакет с открытым исходным кодом для оптимизации, специализирующийся на маршрутизации транспортных средств, потоках, целочисленном и линейном программировании, а также программировании в ограничениях. Имеет решатель CP-SAT мирового класса. Используется для решения задач маршрутизации транспортных средств (VRP), планирования, упаковки контейнеров, задач о рюкзаке, линейного программирования (LP), целочисленного программирования (MIP), сетевых потоков, программирования с ограничениями, комбинаторной оптимизации, распределения ресурсов, планирования смен, планирования цехов и задач дискретной оптимизации. Источник: tondevrel/scientific-agent-skills.