Constraints Are Information
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
For a solver, constraints are fuel: each rule powers deletions, so more rules can ease the solving even while making the satisfying harder.
Show
Each festival rule shrank a domain; few rules give propagation nothing to chew, and search inherits the space raw.
Watch for
Harder to satisfy and harder to solve are different axes — keep them apart and the inversion stops being strange.