GitHub repository: Earwelen/SAT-solver
Primary language: Python
Description: NUS / SoC / CS4244 Knowledge-Based System. Sylvain, trying to code a SAT solver: "what is normal conjunctive form??"