sbv-2.9: README

SBV: SMT Based Verification in Haskell
======================================

Please see: http://leventerkok.github.com/sbv/