Giters

ritu-thombre99 / Solving-CNF-SAT-using-DPLL

This 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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cnfcnf-clausesdplldpll-algorithmsat-solver

This repository is not active

About

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

https://github.com/ritu-thombre99/Solving-CNF-SAT-using-DPLL

cnfcnf-clausesdplldpll-algorithmsat-solver

Languages

Language:Jupyter Notebook 100.0%