C codingnest.com Modern SAT solvers: fast, neat and underused 465 points kachnuv_ocasek 7 years ago 118 comments
