Cool!

Constraint propagation from SICP is a great reference here:

https://sicp.sourceacademy.org/chapters/3.3.5.html

I wasn't aware of this chapter, but I did use constraint propagation for the solver (among other things), thanks!