/sbv-for-copilot

(DEPRECATED) SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Primary LanguageHaskellOtherNOASSERTION

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

SBV: SMT Based Verification in Haskell

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