upgrade to new solver
rev pubspec, fix spacing
rev contstraints on barback
Merge pull request #9 from keertip/solver

change to new solver code