Dodan DPLL SAT solver, popravljeni bugi, odkrit bug, da poenostavi() spremeni prvotno formulo.