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.

Strumenti di ottimizzazione di Google. Una suite software open source per l'ottimizzazione, specializzata in routing dei veicoli, flussi, programmazione intera e lineare e programmazione di vincoli. Presenta il risolutore CP-SAT di livello mondiale. Utilizzare per problemi di instradamento dei veicoli (VRP), pianificazione, imballaggio dei contenitori, problemi con lo zaino, programmazione lineare (LP), programmazione intera (MIP), flussi di rete, programmazione di vincoli, ottimizzazione combinatoria, allocazione delle risorse, pianificazione dei turni, pianificazione delle officine e problemi di ottimizzazione discreta. Fonte: tondevrel/scientific-agent-skills.