The sbv package

[Tags: bsd3, library, program]

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
Change logCHANGES.md
Dependenciesarray, async, base (==4.*), containers, crackNum, data-binary-ieee754, deepseq, directory, filepath, HUnit, mtl, old-time, pretty, process, QuickCheck, random, sbv, syb [details]
LicenseBSD3
CopyrightLevent Erkok, 2010-2015
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
UploadedMon Apr 13 05:20:53 UTC 2015 by LeventErkok
DistributionsLTSHaskell:4.4, NixOS:4.4, Stackage:4.4
Downloads7833 total (323 in last 30 days)
Votes
2 []
StatusDocs available [build log]
Last success reported on 2015-04-13 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for sbv-4.4

<table> <tr> <th>Travis Build</th><th>Hackage</th> </tr> <tr>
<td>
   <a href="https://secure.travis-ci.org/LeventErkok/sbv"><img src="https://secure.travis-ci.org/LeventErkok/sbv.png?branch=master"></img></a>
</td>

<td>
   <a href="http://hackage.haskell.org/package/sbv"><img src="https://budueba.com/hackage/sbv"></img></a>
</td>
</tr> </table>

SBV: SMT Based Verification in Haskell

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