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.