3 ms·
The SAT Game
- Twisol 1y agoI guess this links to the "very hard" difficulty, but I lucked myself into a winning solve without needing to backtrack at all. I'm a big fan of things that let me do manually what computers normally do automatically, so this is a neat page.
- vivegi 1y agoI wrote a game (SAT solving was the inspiration) back in 2022. https://vivegi.github.io/Trek/ https://vivegi.github.io/Trek/