tree 7f70032c3cf2695e70baf46cf215012a2938a533
parent 7da85fb0e28d0751fd0d71abf5f7102ba36e67f7
author Sameer Agarwal <sameeragarwal@google.com> 1381519771 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1381521239 -0700

Update documentation.

1. Update the documentation to be Sphinx friendly.

2. Remove dead fields in Solver::Summary.
   a. Solver::Summary::num_eliminate_blocks_given.
   b. Solver::Summary::num_eliminate_blocks_used.

Change-Id: I43e0070c88abe3bf285d91e6c7524f3d887deb33