Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 9.8% dependent repos on crates.io

crates.io : boolector-sys

Low-level bindings for the Boolector SMT solver

Registry - Source - Documentation - JSON
purl: pkg:cargo/boolector-sys
Keywords: ffi, smt, boolector, rust, rust-ffi, smt-solver
License: MIT
Latest release: 3 months ago
First release: about 5 years ago
Dependent packages: 2
Dependent repositories: 5
Downloads: 18,997 total
Stars: 6 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago

Readme