Begin3 Title: logic Version: 1.01 Entered-date: 10/25/1999 Description: logic library to minimize logic expressions in cub format includes an command line program who show the functions of the lib Keywords: logic, minimize, ESPRESSO-Signature, Quine, Full-Quine Primetab, Invert, CUB Author: Mario Hahnemann Maintained-by: Mario Hahnemann Primary-site: sunsite.unc.edu/pub/Linux/libs Alternate-site: sunsite.unc.edu/pub/Linux/apps/math Original-site: http://maui.theoinf.tu-ilmenau.de/~hahn Platforms: Linux, SunOS, Solaris Copying-policy: GPL+LGPL End