Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "smt-solver" keyword
boolector-sys 0.7.2
Low-level bindings for the Boolector SMT solver15 versions - Latest release: 3 months ago - 2 dependent packages - 5 dependent repositories - 19 thousand downloads total - 6 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 281 thousand downloads total - 315 stars on GitHub - 4 maintainers
z3 0.12.1
High-level rust bindings for the Z3 SMT solver from Microsoft Research19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 281 thousand downloads total - 315 stars on GitHub - 4 maintainers
Top 5.8% on crates.io
13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 331 thousand downloads total - 315 stars on GitHub - 4 maintainers
z3-sys 0.8.1
Low-level bindings for the Z3 SMT solver from Microsoft Research13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 331 thousand downloads total - 315 stars on GitHub - 4 maintainers
yices2-sys 2.6.4
Low level Rust bindings to the Yices 2 SMT solver3 versions - Latest release: 10 months ago - 1 dependent package - 1.4 thousand downloads total - 6 stars on GitHub - 1 maintainer
yices2 0.1.4
Rust bindings to the Yices 2 SMT solver5 versions - Latest release: 9 months ago - 1.49 thousand downloads total - 6 stars on GitHub - 1 maintainer