This package wraps espresso-logic, which is "A modern (2017) compiliable re-host of the Espresso heuristic logic minimizer." of which "The original source code comes from the University of California, Berkeley."
espresso-logic is distributed with this package under espresso-logic/
This package only wraps the main espresso command and the -Dd1merge commands as those are the ones I have had need for so far.
cargo test
This is published under the MIT License.