rustio rustio.net

Decision Workspace

mrs

Side-by-side comparison of Rust crates

50
mrs
growingv0.1.3

Automated theorem prover for TPTP problems using superposition calculus

Core Metrics

mrs
Health Score50
Total Downloads1.9K
30d Downloads0
Dependents0
Releases4
Last Updated1d ago
Age5y 11m

Health Breakdown

mrs
Maintenance
15
Quality
13
Community
6
Popularity
4
Documentation
12

Technical Details

mrs
Version0.1.3
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies8
Crate Size24KB
Features0
Yanked %0.0%
Edition2024
MSRV1.85
Owners1

Links

mrs detail →GitHub ↗crates.io ↗

Quick Verdict

  • •mrs leads with a health score of 50/100, but none of the options score above 80.