A satifiability solver using DPLL framework.