|
|
Hello, 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