sbv-3.1: README.md

<table>
  <tr>
    <th>Travis Build</th><th>Hackage</th>
  </tr>
  <tr>
   
    <td>
       <a href="https://secure.travis-ci.org/LeventErkok/sbv"><img src="https://secure.travis-ci.org/LeventErkok/sbv.png?branch=master"></img></a>
    </td>
    
    <td>
       <a href="http://hackage.haskell.org/package/sbv"><img src="https://budueba.com/hackage/sbv"></img></a>
    </td>
   
  </tr>
</table>

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

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