GitHub repository: EloquentDevTeam/SAT-Algorithms
Primary language: C++
Description: A collection of satisfiability algorithms to be merged into LibLogic, eventually.