GitHub repository: marcthurley/sharpSAT
Primary language: C++
Description: The #SAT solver sharpSAT