A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
Primary LanguageCMIT LicenseMIT