matsc@sics.se (Mats Carlsson) (12/28/89)
I'm looking for an implementation of the algorithms described in the reference below. If anyone has such an implementation, preferably ftp-able, please reply by e-mail or post. Thanks. R. E. Bryant, "Graph Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computers, Vol. C-35, No. 8 (August 1986) pp. 677-691. -- Mats Carlsson SICS, PO Box 1263, S-164 28 KISTA, Sweden Internet: matsc@sics.se Tel: +46 8 7521543 Ttx: 812 61 54 SICS S Fax: +46 8 7517230