This Assigmnent uses Python 2.7.
Each question is found in the appropriate file folder. Paths are dependent on this current structure, so files must remain in these folders to work.
Question 2 has a dependency on Question 1
Question 3 uses a modified version of DPLL implemented in Question 2.
Google Doc for Technical Document: https://docs.google.com/document/d/1x8b0NsiSsQf37jyu1Yhd6PFK3RAivku2pzz8eOtgWT8/edit