DPLL passo a passo

Acompanha o algoritmo DPLL um passo de cada vez: propagação unitária, escolhas e conflitos.