I'm happy to announce a new release of SBV (v4.0); a library for seamlessly
integrating SMT solvers with Haskell.
https://hackage.haskell.org/package/sbv
Most of the changes in this release are due to Brian Huffman of Galois;
essentially adding capabilities so end-users can define
I'm pleased to announce v3.1 release of SBV, a library for integrating SMT
solvers into Haskell.
This release coincides with GHC 7.8.3: A a prior bug in the 7.8 series
caused SBV to crash under heavy load. GHC 7.8.3 fixes this bug; so if
you're an SBV user, please upgrade to both GHC 7.8.3 and
