rustio rustio.net

Decision Workspace

citreelo

Side-by-side comparison of Rust crates

44
citreelo
experimentalv0.1.1

A simple BDD-based symbolic model checker for Computational Tree Logic

Core Metrics

citreelo
Health Score44
Total Downloads516
30d Downloads43
Dependents8
Releases3
Last Updated117d ago
Age5m

Health Breakdown

citreelo
Maintenance
13
Quality
13
Community
5
Popularity
3
Documentation
10

Technical Details

citreelo
Version0.1.1
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies4
Crate Size31KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

citreelo detail →GitHub ↗crates.io ↗

Quick Verdict

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