Sat Solver - By Jake
Special thanks to the following:
- Open source content on DPLL by James Worrel https://www.cs.ox.ac.uk/people/james.worrell/lecture06.pdf
- Mini SAT (inspo for this project) http://minisat.se/
- How DIAMACs works and example .cnf files by John Burkardt https://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html
- Conflict-Driven Clause Learning SAT Solvers by Joao Marques-Silva, Ines Lynce and Sharad Malik https://www.cs.princeton.edu/~zkincaid/courses/fall18/readings/SATHandbook-CDCL.pdf