Added an example to the cabal file and added how to run an solver to the README.