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。