<div dir="ltr">I'm happy to announce v2.9 release of the Haskell SBV library:<div><br></div><div> <a href="http://leventerkok.github.com/sbv/">http://leventerkok.github.com/sbv/</a><br></div><div><br></div><div style>
SBV (SMT Based Verification) is a library that allows Haskell programs to take advantage of modern SMT solvers, by providing a symbolic simulation engine that can invoke 3rd party SMT solvers to prove/falsify properties about (a certain class of) Haskell programs.</div>
<div style><br></div><div style>New in this release is the support for the CVC4 SMT solver: <a href="http://cvc4.cs.nyu.edu/web/">http://cvc4.cs.nyu.edu/web/</a></div><div style><br></div><div style><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px">If you were planning to use SMT solvers before, but were worried about the not-so-commercial-friendly licenses of Yices and Z3, then this is a great opportunity: </span><i style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px">CVC4 comes with essentially no limit on its use for research or commercial purposes</i><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px">!</span><br>
</div><div style><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px"><br></span></div><div style><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px">Feedback, patches and bug reports are always welcome.</span></div>
<div style><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px"><br></span></div><div style><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px;line-height:18px">-Levent.</span></div>
</div>