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