New top story on Hacker News: Modern SAT solvers: fast, neat and underused

No comments