GitHub repository: Dahan13/DPLL-Solver
Primary language: Python
Description: Little DPLL Solver made for a class assignement