Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
Haskell Other
Switch branches/tags
Nothing to show
Clone or download
Pull request Compare This branch is 1419 commits behind LeventErkok:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Data
GHC
SBVUnitTest
buildUtils
.ghci
.gitignore
.travis.yml
CHANGES.md
COPYRIGHT
INSTALL
LICENSE
Makefile
README.md
SMTSolverVersions.md
Setup.hs
sbv.cabal

README.md