Scala DPLL SAT Solver