rustio rustio.net

Decision Workspace

spinsat

Side-by-side comparison of Rust crates

39
spinsat
experimentalv0.5.3

A dynamic SAT solver based on digital memcomputing machines

Core Metrics

spinsat
Health Score39
Total Downloads179
30d Downloads180
Dependents0
Releases7
Last Updatedtoday
Age6d

Health Breakdown

spinsat
Maintenance
17
Quality
11
Community
1
Popularity
3
Documentation
7

Technical Details

spinsat
Version0.5.3
Stable (≥1.0)✗ No
LicenseMIT
Dependencies3
Crate Size5.3MB
Features1
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

spinsat detail →crates.io ↗

Quick Verdict

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