hackage.haskell.org : boolector
Haskell bindings for the Boolector SMT solver
Registry
-
Source
- JSON
purl: pkg:hackage/boolector
Keywords:
bit-vectors
, formal-methods
, library
, math
, mit
, smt
, theorem-provers
, Propose Tags
License: MIT
Latest release: almost 5 years ago
First release: about 7 years ago
Dependent repositories: 2
Downloads: 6,159 total
Stars: 5 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 29 days ago
Loading...
Readme
Loading...