Versions [faq] |
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 (info) |
Change log |
CHANGES.md |
Dependencies |
array, async, base (==4.*), containers, crackNum, data-binary-ieee754, deepseq, directory, filepath, HUnit, mtl, old-time, pretty, process, QuickCheck, random, sbv, syb [details] |
License |
BSD-3-Clause |
Copyright |
Levent Erkok, 2010-2015 |
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.com/sbv/
|
Bug tracker |
http://github.com/LeventErkok/sbv/issues
|
Source repo |
head: git clone git://github.com/LeventErkok/sbv.git |
Uploaded |
by LeventErkok at 2015-04-13T05:20:53Z |
Distributions |
Arch:8.9, Debian:7.12, LTSHaskell:7.13, NixOS:8.9, Stackage:8.3 |
Executables |
SBVUnitTests |
Downloads |
53160 total (280 in the last 30 days) |
Rating |
2.75 (votes: 9)
[estimated by Bayesian average] |
Your Rating |
|
Status |
 Docs available [build log] Last success reported on 2015-04-13 [all 1 reports] |