tree 7a608ca6ecbcdb1ca3403c6efa4a44284b971fb7
parent 21e7c0fcc70f108b72271c7ae3ec7640d3ac4212
author Sameer Agarwal <sameeragarwal@google.com> 1382358814 -0700
committer Sameer Agarwal <sandwichmaker@gmail.com> 1382358897 +0000

Documentation update.

Update the documentation for Solver::Summary in
solver.h

Also minor typo fixes in solving.rst.

Change-Id: Id9363940ef843b7ce92013fdbb866168e0c5705f