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-Optimierungstools. Eine Open-Source-Software-Suite zur Optimierung, spezialisiert auf Fahrzeugrouting, Verkehrsflüsse, ganzzahlige und lineare Programmierung sowie Constraint-Programmierung. Verfügt über den erstklassigen CP-SAT-Solver. Verwendung für Vehicle Routing-Probleme (VRP), Terminplanung, Bin-Packing, Rucksackprobleme, lineare Programmierung (LP), Integer-Programmierung (MIP), Netzwerkflüsse, Constraint-Programmierung, kombinatorische Optimierung, Ressourcenzuweisung, Schichtplanung, Werkstattplanung und diskrete Optimierungsprobleme. Quelle: tondevrel/scientific-agent-skills.