I am looking for a BDD package on WINDOWS, for teaching to EE students
who does not know C or C++. I want a simple package, where students
can enter series of commands (Boolean equations) and graphically see
the BDD, convert to blif format etc.
If you are aware, please post the info and also send me an e-mail.
Thanks in advance