41
z3tracer
v0.11.2 GrowingParser for Z3 tracing logs
MIT OR Apache-2.0 Edition 2018
Quick Verdict
- ✕Not updated for 4+ years
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT OR Apache-2.0)
Security
Checking security advisories...
Downloads
625.1K
Dependents
8
Releases
15
Size
6.8MB
Deep Insights
📈
Strong growth momentum
45.0K downloads in the last 30 days (1.5K/day), up 34% from the previous period.
👤
Prolific maintainer
The primary maintainer publishes 112 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
🔬
Pre-1.0 for over a year
Despite being 5+ years old, z3tracer hasn't reached 1.0 yet. Expect potential API changes between versions.
📐
Large crate size
6.8MB is relatively large. May impact download and compile times.
Health Breakdown
Maintenance 4/25
Recency, release consistency, active ratio
Quality 10/25
Yanked ratio, deps, size, maturity, features
Community 8/20
Reverse deps, ownership, ecosystem
Popularity 7/15
Downloads, momentum, growth trend
Documentation 12/15
Docs, repo, license, metadata
Download Trend
Daily downloads · last 90 days
1K/day avg+148%
Top Dependents
Most downloaded crates that depend on z3tracer
Version Adoption
v0.8.0
99%
v0.11.2
1%
v0.5.0
0%
v0.10.0
0%
v0.11.0
0%
Release Timeline
15 releasessince 2021
J
F
M
A
M
J
J
A
S
O
N
D
2021
15
2022
2023
2024
2025
2026
LessMore
Feature Flags
report
README
Loading README...
Maintainers
Dependencies
8
direct dependencies
Dependents
8
crates depend on z3tracer