Renaming function
Removing unused variable
Fixing warning about signed vs unsigned comparison
Removing useless passing of the Solver pointer
Removing unused variable
Removing one more compiler warning
Removing unused variable
Improving error reporting for command line parameters

Thanks to Martin Maurer for reporting this.

Fixes #127