Comment on Solving SAT via Positive SupercompilationparentComments−pixelpoet2yI love that the favicon for the 2023 results is a Doge, lol: https://satcompetition.github.io/2023/results.html−HirrolotOP2yHaha, awesome!
Comments
I love that the favicon for the 2023 results is a Doge, lol: https://satcompetition.github.io/2023/results.html
Haha, awesome!