Redirecting to Espresso heuristic logic minimizer