sci-electronics POSIX compliant version of the espresso logic minimization tool.