(Taken from the item.news file contained in the package:)

The first public release of ITEM, UCSC's logic minimizer using if-then-else DAGs, was made 2 January 1991. The system is available by anonymous ftp from ftp://ftp.cse.ucsc.edu/pub/item/item.tar.Z . Also available are tech reports about the algorithms and data structures (88-28, 88-29, and 90-43).

ITEM can also be found at ftp://ftp.cse.ucsc.edu/pub/item directory.

This document was translated by ms2html v1.7 on 16.01.97. OMN

[an error occurred while processing this directive]