/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Primary LanguageHaskellOtherNOASSERTION

SBV: SMT Based Verification in Haskell

Hackage version

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

Build Status

  • Linux:
    • GHC 8.2.1 Build1
    • GHC 8.2.2 Build1
    • GHC 8.4.1 Build1
  • Mac OSX:
    • GHC 8.2.1 Build1
  • Windows:
    • GHC 8.2.2 Build5