GitHub repository: msoos/minisat
Primary language: C++
Description: A minimalistic and high-performance SAT solver