smtlib
v0.3.0crates.io· RustA high-level API for interacting with SMT solvers
The verdict
Aging — last published over a year ago — check before adopting. Check the repo for activity before adopting.
Check the repo for activity before adopting.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAging
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published over a year ago — check before adopting.
Popularity
87 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
- 0.3.0over a year ago
- 0.2.02 years ago
- 0.1.82 years ago
- 0.1.72 years ago
- 0.1.63 years ago
- 0.1.53 years ago
- 0.1.43 years ago
- 0.1.33 years ago