GitHub repository: th3rring/dpll
Primary language: Python
Created: 2020-12-16T02:42:33Z
Description: DPLL Sat Solver for Propositional Logic