rustio rustio.net

Decision Workspace

differential-formula

Side-by-side comparison of Rust crates

27
differential-formula
growingv0.1.1

Incremental Formal Modeling Using Logic Programming and Analysis

Core Metrics

differential-formula
Health Score27
Total Downloads3.2K
30d Downloads4
Dependents0
Releases2
Last Updated2272d ago
Age6y 2m

Health Breakdown

differential-formula
Maintenance
3
Quality
13
Community
1
Popularity
4
Documentation
6

Technical Details

differential-formula
Version0.1.1
Stable (≥1.0)✗ No
LicenseMIT
Dependencies13
Crate Size33KB
Features0
Yanked %0.0%
Edition2018
MSRV—
Owners1

Links

differential-formula detail →crates.io ↗

Quick Verdict

  • •differential-formula leads with a health score of 27/100, but none of the options score above 80.
  • •⚠ differential-formula has not been updated in over a year.