GitHub repository: maelhos/SAT51
Primary language: C++
Description: A brillant solver to the patisfiability problem