First commit.
First commit.
Added a lot of docstrings
Merge branch 'gh-pages' of https://github.com/zacernst/prover9nudge into gh-pages