45 ms·
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 wa
by nhatcher 2y ago
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/hats/sudoku.html
https://www.nhatcher.com/post/on-hats-and-sats/ https://www.nhatcher.com/post/on-hats-and-sats/
- TN1ck 2y agoThank you and all the others here for the kind words, means a lot:) And the WASM solver is super cool, definitely useful for generating them as you have to do quite a lot of iterations!