GitHub repository: tareqmahmood/TeamSAT
Primary language: C++
Description: A collaborative parallel SAT solver for teens