rustio rustio.net

Decision Workspace

varisat-internal-macros

Side-by-side comparison of Rust crates

36
varisat-internal-macros
growingv0.2.2

Internal macros for the Varisat SAT solver

Core Metrics

varisat-internal-macros
Health Score36
Total Downloads5.9M
30d Downloads2.8M
Dependents2
Releases2
Last Updated2084d ago
Age7y

Health Breakdown

varisat-internal-macros
Maintenance
3
Quality
14
Community
2
Popularity
8
Documentation
9

Technical Details

varisat-internal-macros
Version0.2.2
Stable (≥1.0)✗ No
LicenseMIT/Apache-2.0
Dependencies5
Crate Size8KB
Features0
Yanked %0.0%
Edition2018
MSRV—
Owners1

Links

varisat-internal-macros detail →GitHub ↗crates.io ↗

Quick Verdict

  • •varisat-internal-macros leads with a health score of 36/100, but none of the options score above 80.
  • •⚠ varisat-internal-macros has not been updated in over a year.