C codingnest.com Modern SAT solvers: fast, neat and underused 237 points dmit 7 years ago 45 comments
