sbv: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

[ bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers ] [ Propose Tags ]

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

For details, please see: http://leventerkok.github.io/sbv/

[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

sbv-10.3.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

LeventErkok

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.9, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6, 0.9.7, 0.9.8, 0.9.9, 0.9.10, 0.9.11, 0.9.12, 0.9.13, 0.9.14, 0.9.15, 0.9.16, 0.9.17, 0.9.18, 0.9.19, 0.9.20, 0.9.21, 0.9.22, 0.9.23, 0.9.24, 1.0, 1.1, 1.2, 1.3, 1.4, 2.0, 2.1, 2.2, 2.3, 2.4, 2.5, 2.6, 2.7, 2.8, 2.9, 2.10, 3.0, 3.1, 3.2, 3.3, 3.4, 3.5, 4.0, 4.1, 4.2, 4.3, 4.4, 5.0, 5.1, 5.2, 5.3, 5.4, 5.5, 5.6, 5.7, 5.8, 5.9, 5.10, 5.11, 5.12, 5.13, 5.14, 5.15, 6.0, 6.1, 7.0, 7.1, 7.2, 7.3, 7.4, 7.5, 7.6, 7.7, 7.8, 7.9, 7.10, 7.11, 7.12, 7.13, 8.0, 8.1, 8.2, 8.3, 8.4, 8.5, 8.6, 8.7, 8.8, 8.9, 8.10, 8.11, 8.12, 8.13, 8.14, 8.15, 8.16, 8.17, 9.0, 9.1, 9.2, 10.0, 10.1, 10.2, 10.3, 10.4, 10.5, 10.6, 10.7, 10.8, 10.9 (info)
Change log	CHANGES.md
Dependencies	array, async, base (>=4.16 && <5), containers, deepseq, directory, filepath, libBF (>=0.6.7), mtl, pretty, process, QuickCheck, random, syb, template-haskell, text, time, transformers, uniplate [details]
License	BSD-3-Clause
Copyright	Levent Erkok, 2010-2024
Author	Levent Erkok
Maintainer	Levent Erkok (erkokl@gmail.com)
Category	Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
Home page	http://leventerkok.github.io/sbv/
Bug tracker	http://github.com/LeventErkok/sbv/issues
Source repo	head: git clone git://github.com/LeventErkok/sbv.git
Uploaded	by LeventErkok at 2024-01-05T23:50:46Z
Distributions	Arch:9.1, Debian:8.7, LTSHaskell:10.2, Stackage:10.9
Reverse Dependencies	12 direct, 11 indirect [details]
Downloads	75771 total (590 in the last 30 days)
Rating	2.75 (votes: 9) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]

Readme for sbv-10.3

[back to package description]

SBV: SMT Based Verification in Haskell

On Hackage: http://hackage.haskell.org/package/sbv

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