rustio rustio.net

Decision Workspace

prismulti

Side-by-side comparison of Rust crates

41
prismulti
experimentalv0.1.1

A multi-threaded Rust implementation of a subset of the PRISM model checker.

Core Metrics

prismulti
Health Score41
Total Downloads30
30d Downloads0
Dependents0
Releases2
Last Updated84d ago
Age2m

Health Breakdown

prismulti
Maintenance
9
Quality
14
Community
6
Popularity
2
Documentation
10

Technical Details

prismulti
Version0.1.1
Stable (≥1.0)✗ No
LicenseMIT
Dependencies8
Crate Size66KB
Features2
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

prismulti detail →GitHub ↗crates.io ↗

Quick Verdict

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