/Solving-CNF-SAT-using-DPLL

This program checks if an input CNF is satisfiable or not to check logical entailment.

Primary LanguageJupyter Notebook

This repository is not active