cp-sat-debugging-and-performance

What problem does it solve?

This Skill helps you debug and optimize Google OR-Tools CP-SAT scheduling models when they are infeasible, slow, stuck, or returning solutions that do not match business intent.

Core Features & Use Cases

• Infeasibility diagnosis: Isolate conflicting constraints with model validation, assumption-based conflict checks, and manual relaxation when needed.
• Wrong-solution debugging: Hard-code the expected solution to determine whether the model is missing a constraint or contains one that blocks the intended answer.
• Performance triage: Improve solve times using the recommended order of domain tightening, reformulation, symmetry breaking, redundant constraints, hints, and parameter tuning.
• Log interpretation: Read CP-SAT search progress to tell whether the issue is search, proof, thrashing, or presolve behavior.
• Regression analysis: Compare exported models to identify what changed when a model worked before and now fails or slows down.
• Use Case: A scheduling model suddenly becomes infeasible after a refactor, and this Skill guides you through isolating the conflicting constraints, checking logs, and validating the fix.

Quick Start

Ask me to diagnose or improve your CP-SAT scheduling model, and I will walk you through validation, conflict isolation, log reading, and performance triage.