Implementation of Espresso-II method for heuristic minimization of single output boolean functions - View it on GitHub