espresso-logic 2.6.2

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