ritu-thombre99 / solving-cnf-sat-using-dpll Goto Github PK
View Code? Open in Web Editor NEWThis program checks if an input CNF is satisfiable or not to check logical entailment.
Home Page: https://github.com/ritu-thombre99/Solving-CNF-SAT-using-DPLL