Reverse dependencies for dpll_solver

Latest version of the following gems require dpll_solver