POSIX compliant version of the espresso logic minimization tool
