Minilog is a logic minimization program exploiting this ESPRESSO algorithm. It is able to generate a two-level gate implementation for a combinational function block with up to 40 inputs and outputs or a synchronous state machine with up to 256 states. It is part of the Publicad educational design package, that can be downloaded from the website Publicad - free Publicad toolkit including Minilog logic minimization program.
Read more about this topic: Espresso Heuristic Logic Minimizer, Espresso Algorithm, Software