update README.md and toysolver.cabal