GitHub repository: master-keying/sharpSAT
Primary language: C++
Description: The #SAT solver sharpSAT