Merge pull request #2 from jbauschatz/solver

Solver
Update README.md
Added problem sets, improved prettyprinting
Merge branch 'master' of https://github.com/jbauschatz/Discretion into solver