rustio rustio.net

Decision Workspace

torg-verify

Side-by-side comparison of Rust crates

42
torg-verify
experimentalv0.2.2

Formal verification for TØR-G boolean circuits

Core Metrics

torg-verify
Health Score42
Total Downloads44
30d Downloads5
Dependents0
Releases3
Last Updated49d ago
Age3m

Health Breakdown

torg-verify
Maintenance
11
Quality
14
Community
5
Popularity
2
Documentation
10

Technical Details

torg-verify
Version0.2.2
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies1
Crate Size2KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

torg-verify detail →GitHub ↗crates.io ↗

Quick Verdict

  • •torg-verify leads with a health score of 42/100, but none of the options score above 80.