This is SIS 1.3, an unofficial release of SIS, the logic synthesis system
from UC Berkeley. SIS is no longer supported, but there are still many
people still interested in this software, hence this release.

If you have not already done so, please have a look at MVSIS, a successor
to SIS, at:
http://www-cad.eecs.berkeley.edu/Respep/Research/mvsis/

While MVSIS does not have all the functionality of SIS at this time,
it is both actively maintained and continually growing, and is very
suitable for research and development of core synthesis algorithms.

The primary features added on top of SIS 1.2 are:
- a configure system based on autoconf, making building and installing
the software simpler
- various patches to allow compilation under Linux (glibc 2.2/2.3)
- Automated integration of CUDD when available