44
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.1K
Dependents
0
Releases
15
Size
575KB
Deep Insights
📊
Stable downloads
63 downloads in the last 30 days (2/day). Volume is roughly flat compared to the previous period.
✅
Stable API
Reached 1.0 over a year ago. The API surface is settled, making it safe for production use.
Health Breakdown
Maintenance 12/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
0/day avg
Version Adoption
v1.3.2
22%
v1.3.3
22%
v1.3.4
20%
v1.4.1
19%
v1.3.6
18%
Release Timeline
10 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
10
2026
LessMore
README
Loading README...
Maintainers
Dependencies
18
direct dependencies
Dependents
0
crates depend on rIC3