What is the best solver for scheduling problems in OR-Tools?

The CP-SAT solver is highly recommended for scheduling and discrete optimization tasks as it uses advanced constraint programming and satisfiability techniques.

Does OR-Tools support floating-point numbers in CP-SAT?

CP-SAT is strictly an integer solver. To work with decimals, you must scale your values (e.g., multiply 1.5 by 100 to get 150) and adjust your logic accordingly.

Can I use standard Python 'if' statements inside a model?

No, you cannot use Python logic to check variable values during modeling. Instead, use boolean implications and conditional constraints like 'OnlyEnforceIf'.

What should I do if my model returns an INFEASIBLE status?

An infeasible status means your constraints are contradictory. You should review your constraints for conflicts or use 'Sufficient Assumptions' to identify the root cause.

How do I prevent the solver from running forever on complex models?

You should always set a time limit using 'solver.parameters.max_time_in_seconds' to ensure you get the best feasible solution within a specific timeframe.

Google OR-Tools Optimizer

Name: Google OR-Tools Optimizer
Author: tondevrel

bytondevrel

•

데이터 과학 및 ML

Solves complex combinatorial optimization problems including vehicle routing, scheduling, and resource allocation using Google's open-source suite.

The Google OR-Tools skill empowers Claude to tackle hard mathematical optimization challenges by leveraging industry-leading solvers like CP-SAT and GLOP. It is designed for developers and data scientists needing to solve complex logistics problems, such as Vehicle Routing (VRP), Job-Shop scheduling, bin packing, and integer programming. By providing structured modeling patterns and best practices for constraint programming, this skill helps translate high-level business requirements into efficient mathematical models that find optimal solutions for resource management and operational efficiency.

주요 기능

01Efficient solvers for bin packing, knapsack, and network flow problems

02Linear and Integer Programming (LP/MIP) for continuous resource allocation

03World-class CP-SAT solver for discrete constraints and logic-heavy scheduling

041 GitHub stars

05Specialized Vehicle Routing (VRP) engine for logistics and fleet management

06Advanced scheduling capabilities for employee shifts and manufacturing workflows

사용 사례

01Maximizing manufacturing throughput via efficient job-shop scheduling and resource loading

02Optimizing delivery routes for a vehicle fleet to minimize distance, fuel, and time

03Automating complex employee shift rosters while adhering to labor laws and availability

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add tondevrel/scientific-agent-skills ortools

For use in Claude.ai and ChatGPT

Download Skill