rustio rustio.net

Decision Workspace

espresso-logic

Side-by-side comparison of Rust crates

50
espresso-logic
experimentalv3.1.2

Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)

Core Metrics

espresso-logic
Health Score50
Total Downloads293
30d Downloads28
Dependents0
Releases7
Last Updated135d ago
Age4m

Health Breakdown

espresso-logic
Maintenance
17
Quality
14
Community
6
Popularity
3
Documentation
10

Technical Details

espresso-logic
Version3.1.2
Stable (≥1.0)✓ Yes
LicenseMIT
Dependencies9
Crate Size590KB
Features1
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

espresso-logic detail →GitHub ↗crates.io ↗

Quick Verdict

  • •espresso-logic leads with a health score of 50/100, but none of the options score above 80.