GitHub repository: ptheod/cryptominisat
Primary language: C++
Description: An advanced SAT Solver