- Implemented readline prompt
- Started refactoring for modern Linux systems compatibility
- Release 1.3.6
- Added proper but still incomplete AUTHORS list
- Added support for CUDD 2.4.0
- Fixed configure to do subdirs correctly
- Some compile warnings cleaned up
- Release 1.3.5
- Added sis_lib/.misrc (Ken McMillan/Ellen Sentovich)
- Fixed bug in eliminate (Ken McMillan/Ellen Sentovich)
- Release 1.3.4
- Fixed for Cygwin
- Release 1.3.3
- Fixed fclose of null FILE * in power
- Now uses autoconf/automake
- Release 1.3.2
- Mac OSX compilation fixes
- Release 1.3.1
- Copyright notice added
- Fixes to ease compilation
- Release 1.3