The SAT Gamecril.univ-artois.fr 21 pointsjstrieb11 months ago4 commentsSaveHideCopy link On HNComments−Twisol11moI 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.−geysersam11moSame here! Just thought it was a funny fluke, so I tried again, same again. Guess SAT solving is just really easy−whoami73011moYeah I didn't even backtrack at all.−vivegi11moI wrote a game (SAT solving was the inspiration) back in 2022.https://vivegi.github.io/Trek/
Comments
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.
Same here! Just thought it was a funny fluke, so I tried again, same again. Guess SAT solving is just really easy
Yeah I didn't even backtrack at all.
I wrote a game (SAT solving was the inspiration) back in 2022.
https://vivegi.github.io/Trek/