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: 7 days ago

Readme