Updates DPLL and smtlink