Retrieve the solvers' name (#112). Also some minor refactoring and cleaning up.