Symbol: solver_reset