espresso-logic 2.6.0

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