DPLL based SAT Solver and CDCL based SAT Solver and combined
python3 dpll.py <file path>
or
python3 cdcl.py <file path>
or
python3 main.py <file path>
It also supports input from console by leaving <file path> empty.
DIMACS-CNF Format
Logic and Program Verification
http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
See report.pdf