The SAT Game(cril.univ-artois.fr)

21 pointsby jstrieb10 months ago4 comments

https://www.cril.univ-artois.fr/~roussel/satgame/satgame.php?level=5&lang=eng

5 comments

Twisol10 months 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.

[deleted]10 months ago

geysersam10 months ago

Same here! Just thought it was a funny fluke, so I tried again, same again. Guess SAT solving is just really easy

whoami73010 months ago

Yeah I didn't even backtrack at all.

vivegi10 months ago

I wrote a game (SAT solving was the inspiration) back in 2022.

https://vivegi.github.io/Trek/