Implementing local solver.