The sbv package

[Tags: bsd3, library]

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

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


[Skip to ReadMe]

Properties

Versions0.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 (info)
Change logCHANGES.md
Dependenciesarray, async, base (>=4.7 && <5), base-compat (>=0.6), containers, crackNum, data-binary-ieee754, deepseq, directory, filepath, HUnit, mtl, old-time, pretty, process, QuickCheck, random, sbv, syb [details]
LicenseBSD3
CopyrightLevent Erkok, 2010-2016
AuthorLevent Erkok
MaintainerLevent Erkok (erkokl@gmail.com)
StabilityExperimental
CategoryFormal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
Home pagehttp://leventerkok.github.com/sbv/
Bug trackerhttp://github.com/LeventErkok/sbv/issues
Source repositoryhead: git clone git://github.com/LeventErkok/sbv.git
ExecutablesSBVUnitTests
UploadedFri Jan 15 07:41:01 UTC 2016 by LeventErkok
DistributionsDebian:5.9, LTSHaskell:5.11, NixOS:5.11, Stackage:5.11
Downloads9739 total (297 in last 30 days)
Votes
4 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for sbv-5.11

SBV: SMT Based Verification in Haskell

Hackage version Build Status

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