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。