[implementing DPLL Algorithm]

example

sample.txt(! is 'not')

!A B E
A !B
A !E
!E D
!C !F !B
!E B
!B F
!B C

python DPLL.py sampleCNF/sample.txt

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
readme		readme
sampleCNF		sampleCNF
DPLL.py		DPLL.py
RandomCNF.py		RandomCNF.py
readme.md		readme.md