Such a beautifully written blog! I have no comments so far, but I will read it through tonight again.

I wrote a Sudoku solver using a SAT solver compiled to wasm (it is just a simple exercise TBH):

https://www.nhatcher.com/hats/sudoku.html https://www.nhatcher.com/post/on-hats-and-sats/