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