Fixed the spelling of my name and cleaned up the Solver a bit.