espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)
Primary LanguageCOtherNOASSERTION