A SAT solver in Java implementing the DPLL algorithm
SAT.java is the main solution file. It can be run in any interactive terminal with a Java compiler. When run the user is prompted to put the file in the "testcases" folder and enter the file name in the terminal.
All testcases are to be added to the "testcases" folder.
PySAT_Checker is a simple python file which uses the PySat library to check whether a formula is SAT or UNSAT as a sanity check.