Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / yav / sbv
Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yav%2Fsbv
Stars: 4
Forks: 43
Open Issues: 0
License: other
Language: Haskell
Repo Size: 6.03 MB
Dependencies:
27
Created: over 13 years ago
Updated: about 3 years ago
Last pushed: over 7 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
sbv.cabal
hackage
- HUnit *
- QuickCheck >=2.9.2
- array *
- async *
- base >=4.8 && <5
- base-compat >=0.6
- containers *
- crackNum >=1.9
- data-binary-ieee754 *
- deepseq *
- directory *
- filepath *
- ghc *
- mtl *
- old-time *
- pretty *
- process *
- random *
- sbv *
- syb *
- HUnit * test
- base >=4.8 && <5 test
- data-binary-ieee754 * test
- directory * test
- filepath * test
- sbv * test
- syb * test