espresso-logic

v5.6.2 Growing

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

MIT Edition 2021 MSRV 1.82

Algorithms Science #logic#boolean#minimization#espresso#pla

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 4d ago)
✓Permissive license (MIT)

Security

Checking security advisories...

Downloads

1.8K

Dependents

Releases

Size

490KB

Deep Insights

📉

Download decline

534 downloads in the last 30 days, down 44% from the previous period. May indicate migration to alternatives.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 7/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Top Dependents

Most downloaded crates that depend on espresso-logic

cellsmith

45 dl 42

Version Adoption

v5.5.0

29%

v5.6.2

23%

v5.4.0

17%

v5.0.0

16%

v5.1.0

15%

Release Timeline

10 releases2 yankedsince 2026

2026

Less

More|

Yanked

Feature Flags

cli

README

Loading README...

Maintainers

Marcos Sartori

7 crates

Dependencies

direct dependencies