GitHub repository: muhammad-usman-108/DPLL-Algorithm
Primary language: Python
Description: Davis–Putnam–Logemann–Loveland algorithm is a complete, backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form.