<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>

Travis Build	Hackage

SBV: SMT Based Verification in Haskell

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