POSIX compliant version of the espresso logic minimization tool
http://www.cs.man.ac.uk/apt/projects/balsa/