Package Info

ghc-sbv

install

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/>.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/sbv

Categories

Development Libraries Haskell

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