DPLL step by step

Follow the DPLL algorithm one step at a time: unit propagation, choices and conflicts.