GitHub - ritu-thombre99/Solving-CNF-SAT-using-DPLL: This program checks if an input CNF is satisfiable or not to check logical entailment.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Solving-CNF-using-DPLL.ipynb		Solving-CNF-using-DPLL.ipynb
entailment.png		entailment.png
example1.png		example1.png
example2.png		example2.png

About

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

No releases published