espresso-logic-minimizer (npm): A NodeJS bridge to the Espresso heuristic logic minimizer
Keywords: espresso|logic|heuristic|minimizer|canonical|normal form|canonicalization