Add HYSolver::Solve function