FUNZIONA!!! :D

AUTHORS

@@ -0,0 +1,93 @@
+AUTHORS
+-------
+
+There have been many authors who have contributed to SIS, and it is
+difficult to compile a complete and accurate list of everyone.  I am
+fairly sure the list below is incomplete.  If you know anyone missing from
+this list or think changes need to be made, please send more information.
+
+Wendell Baker
+	sis/{bdd_ucb,ntbdd}
+Robert K. Brayton
+	Professor
+Andrea Casotto
+	sis/octio
+Abhijit Ghosh
+	sis/power
+Paul Gutwin
+	sis/delay
+Heather Harkness
+	sis/speed
+David Harrison
+	port, sis/{list,util}
+Jonathan I. Kamens
+	sis/util
+Kenneth S. Kundert
+	sis/linsolv
+Tom Laidig
+	options
+Luciano Lavagno
+	sis/pld
+Bill Lin
+	jedi
+David E. Long
+	sis/bdd_cmu
+Hi-Keung Tony Ma
+	sis/{maxflow,stg}
+Abdul A. Malik
+	sis/minimize
+Sharad Malik
+	sis/order
+Patrick McGeer
+	sis/speed
+Jose' Monteiro
+	sis/power
+Cho Moon
+	sis/{genlib,map}
+Rajeev Murgai
+	sis/pld
+A. Richard Newton
+	Professor
+Antony P.-C. Ng
+	sis/seqbdd
+Yoshihito Nishizaki
+	sis/pld
+Roberto Rambaldi
+	blif2vst, vst2blif
+June Rho
+	stamina
+Richard Rudell
+	espresso, sis/{genlib,lsort,util}, utility
+Alexander Saldanha
+	sis/enc
+Alberto Sangiovanni-Vincentelli
+	Professor
+Hamid Savoj
+	sis/sis_lib/help/sis.1
+Ellen M. Sentovich
+	sis/util
+Narendra Shenoy
+	sis/{pld,timing}
+Thomas R. Shiple
+	sis/{bdd_cmu,bdd_ucb,ntbdd,order,var_set}
+Kanwar Jit Singh
+	sis/{maxflow,octio,speed}
+Henry Spencer
+	espresso/getopt.c, sis/util/getopt.c
+Rick L. Spickelmier
+	sis/util
+Paul R. Stephan
+	sis/atpg, xsis
+Colin Stevens
+	sis/sis_lib/help/sis.1
+Gitanjali M. Swamy
+	sis/bdd_cmu
+Herve' Touati
+	sis/{bdd_ucb,map,ntbdd,order,retime,seqbdd,var_set}
+Tiziano Villa
+	nova, sred
+Huey-Yih Wang
+	sis/extract
+Carol Wawrukiewicz
+	sis/sis_lib/help/sis.1
+

ChangeLog

@@ -0,0 +1,28 @@
+ChangeLog
+---------
+
+2005-03-18 Release 1.3.6
+2005-03-08 Added proper but still incomplete AUTHORS list
+2005-03-07 Added support for CUDD 2.4.0
+2005-03-07 Fixed configure to do subdirs correctly
+2005-03-07 Some compile warnings cleaned up
+
+2004-05-05 Release 1.3.5
+2004-05-05 Added sis_lib/.misrc (Ken McMillan/Ellen Sentovich)
+2004-05-05 Fixed bug in eliminate (Ken McMillan/Ellen Sentovich)
+
+2004-03-27 Release 1.3.4
+2004-03-27 Fixed for Cygwin
+
+2004-03-16 Release 1.3.3
+2004-03-16 Fixed fclose of null FILE * in power
+2004-03-11 Now uses autoconf/automake
+
+2004-02-18 Release 1.3.2
+2004-02-18 Mac OSX compilation fixes
+
+2004-02-11 Release 1.3.1
+2004-02-11 Copyright notice added
+2004-02-09 Fixes to ease compilation
+
+2004-02-08 Release 1.3