Modern SAT solvers: fast, neat and underused | Hacker News