<div>I'm happy to announce the very first release of the bv package.</div><div><br></div><div><a href="http://hackage.haskell.org/package/bv">http://hackage.haskell.org/package/bv</a></div><div><br></div><div><span style="font-family:arial,sans-serif;line-height:15px;background-color:rgb(255,255,255)">This library represents bit-vectors as a wrapper over Integer, in contrast with other libraries I've seen that prefer their representation as vectors of booleans. Particularly, the Integer-based representation is more suitable for implementing bit-vector arithmetic. I started coding this library as part of a bigger project related with SMT solving, so the functionality provided by this library is highly inspired by the theory of fixed-size bit-vectors supported by SMT solvers. I hope it will be useful for others too.</span></div>
<div><span style="font-family:arial,sans-serif;font-size:14px;line-height:15px;background-color:rgb(255,255,255)"><br></span></div><div><font face="arial, sans-serif"><span style="line-height:15px">Feedback is very welcomed.</span></font></div>
<br clear="all">Iago Abal Rivas<br>