Permalink
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (19 sloc) 964 Bytes

SBV: SMT Based Verification in Haskell

Hackage version

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

Build Status

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