A modern (2017) compilable re-host of the Espresso heuristic logic minimizer. - View it on GitHub