[–] Twisol 11mo ago ↗ I 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. [–] geysersam 11mo ago ↗ Same here! Just thought it was a funny fluke, so I tried again, same again. Guess SAT solving is just really easy [–] whoami730 11mo ago ↗ Yeah I didn't even backtrack at all. [–] [deleted] 11mo ago ↗ (comment deleted)
[–] geysersam 11mo ago ↗ Same here! Just thought it was a funny fluke, so I tried again, same again. Guess SAT solving is just really easy
[–] vivegi 11mo ago ↗ I wrote a game (SAT solving was the inspiration) back in 2022.https://vivegi.github.io/Trek/
5 comments
[ 3.6 ms ] story [ 27.9 ms ] threadI'm a big fan of things that let me do manually what computers normally do automatically, so this is a neat page.
https://vivegi.github.io/Trek/