46
rIC3
v1.5.2 Stablehardware model checker
GPL-3.0 Edition 2024
#model-checking#ic3#formal-method
Quick Verdict
- ✓Stable API (1.x for 1+ years)
Security
Checking security advisories...
Downloads
10.0K
Dependents
0
Releases
15
Size
575KB
Deep Insights
📉
Download decline
66 downloads in the last 30 days, down 67% from the previous period. May indicate migration to alternatives.
✅
Stable API
Reached 1.0 over a year ago. The API surface is settled, making it safe for production use.
Health Breakdown
Maintenance 14/25
Recency, release consistency, active ratio
Quality 14/25
Yanked ratio, deps, size, maturity, features
Community 3/20
Reverse deps, ownership, ecosystem
Popularity 5/15
Downloads, momentum, growth trend
Documentation 10/15
Docs, repo, license, metadata
Download Trend
Daily downloads · last 90 days
3/day avg+80%
Version Adoption
v1.3.1
20%
v1.3.2
20%
v1.3.3
20%
v1.2.1
20%
v1.2.0
20%
Release Timeline
15 releasessince 2024
J
F
M
A
M
J
J
A
S
O
N
D
2024
5
2025
10
2026
LessMore
README
Loading README...
Maintainers
Dependencies
18
direct dependencies
Dependents
0
crates depend on rIC3