VOID :: 3-SAT SOLVER
DPLL TREE
DPLL
CLAUSE
ASSIGN
CONFLICT
RANDOM