Looking for a BDD software

GATAA Mounir gataa
Sat Dec 2 14:45:41 EST 1995

Is there any software available for BDD.
First, I have to represent sequential machines in smaller sizes.
Second, I will see if it's possible to execute sequential machines in a 
calculator with the BDD representation.
Thank you in advance.

gataa at lurpa.ens-cachan.fr

More information about the Bio-soft mailing list