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.

谷歌优化工具。用于优化的开源软件套件，专门用于车辆路径、流程、整数和线性规划以及约束规划。具有世界一流的 CP-SAT 求解器。用于车辆路径问题 (VRP)、调度、装箱、背包问题、线性规划 (LP)、整数规划 (MIP)、网络流、约束规划、组合优化、资源分配、班次调度、作业车间调度和离散优化问题。 来源：tondevrel/scientific-agent-skills。