Package Info

ghc-sbv


SMT Based Verification: Symbolic Haskell theorem prover using SMT solving


Development/Libraries/Haskell

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

For details, please see: <http://leventerkok.github.com/sbv/&gt;.


License: BSD-3-Clause
URL: https://hackage.haskell.org/package/sbv

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
7.3-bp150.2.3 info GA Release 2018-08-01 15
  • AArch64
  • ghc-sbv
  • ghc-sbv-devel
7.3-bp150.2.6 info GA Release 2018-07-31 15
  • ppc64le
  • ghc-sbv
  • ghc-sbv-devel
7.3-bp150.2.8 info GA Release 2018-07-30 15
  • x86-64
  • ghc-sbv
  • ghc-sbv-devel