Solver implementation