falcon-z3
v0.6.0crates.io· RustRust bindings for z3 and Falcon
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 3 months ago.
Popularity
23 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.6.03 months ago
- 0.5.24 years ago
- 0.5.15 years ago
- 0.4.126 years ago
- 0.4.116 years ago
- 0.4.106 years ago
- 0.4.56 years ago
- 0.4.47 years ago