Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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
License: MIT
Latest release: almost 4 years ago
First release: almost 6 years ago
Dependent repositories: 2
Downloads: 5,884 total
Stars: 4 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 20 days ago