[Haskell-cafe] [Announcement] New release of SBV (0.9.22)

Levent Erkok erkokl at gmail.com
Mon Nov 14 22:44:04 CET 2011

New release of SBV (0.9.22) is out: http://hackage.haskell.org/package/sbv

Major changes in this release are:

    - Support for explicit quantification (including alternating
existentials and universals)
    - Ability to use Microsoft's Z3 SMT solver (in addition to Yices).

Full release notes:



More information about the Haskell-Cafe mailing list