yaspar-ir
v2.7.3crates.io· RustThis crate provides a few representations of SMT scripts and other functionalities.
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 this month.
Popularity
63 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
- 2.7.3this month
- 2.7.22 months ago
- 2.7.13 months ago
- 2.7.04 months ago