GitHub repository: p3rryw1nkle/SAT_Solver
Primary language: Python
Description: SAT Solver for Knowledge Representation