readme.md

[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