Added problem sets, improved prettyprinting
Merge branch 'master' of https://github.com/jbauschatz/Discretion into solver
Merge pull request #3 from jbauschatz/solver

Solver