README.md

SBV: SMT Based Verification in Haskell

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

Build Status

• Linux:
  • GHC 8.0.1
  • GHC 8.0.2
  • GHC 8.2.1
• Mac OSX:
  • GHC 8.2.1
• Windows:
  • GHC 8.0.2