Added javadoc comments to Solver.
Set methods to public for testing.