espresso-logic 2.6.1

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