GitHub repository: togatoga/togasat
Primary language: C++
Description: A CDCL SAT Solver for Programming Contest