Solver implementation added