IMPYMIN [30] is a new state-of-the-art fully-implicit exact two-level hazard-free logic minimizer. It greatly exceeds the capacity of previous exact tools (e.g. HFMIN), minimizing very large multi-output functions, including some for which no exact result had previously been obtained. Run-times are typically under 16 seconds. The most difficult problem available, with 32 inputs and 33 outputs, had never before been solved exactly, but required only 813 seconds using IMPYMIN.
Both ESPRESSO-HF and IMPYMIN can solve all currently-available benchmark examples, including several which have not been previously solved. For larger examples that can be solved by HFMIN, these two minimizers are typically several orders of magnitude faster.