Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
The SAT Game (univ-artois.fr)
21 points by jstrieb 4 months ago | hide | past | favorite | 4 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/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: