Python implementation of the DPLL Algorithm.