WaveFunctionCollapse is constraint solving in the wild
Tanagra: Reactive Planning and Constraint Solving for Mixed-Initiative Level Design