DPLL

Improver DPLL, using advantage of sorted types of formulas: T, F, Not,
Or, And
Pure Variables

Updated to be bit faster