New top story on Hacker News: Understanding SAT by implementing a simple solver on August 31, 2019 Get link Facebook X Pinterest Email Other Apps Understanding SAT by implementing a simple solver 2 by c1ccccc1 | 0 comments on Hacker News.