Constraint Propagation (CP-SAT)
A lightweight execution-visualization book.
Variables & Domains
Variables and Domains
A Constraint Prunes
Propagation
Propagate to Fixpoint
A Singleton Forces More
The Solution
The Reduced Domains
When Propagation Isn't Enough
Why It Matters
Solved at Scale
A Bigger Constraint Puzzle
Solved with CP-SAT
Cross-Checking the Solution
Honest Solver Scope