Hi,
I would also like to have the file for fixing bug in CUDD,
if its available.
Thanks.
Kenshu Seto
>Laurent,
>
>
>You have uncovered a bug in Cudd. In the next message, I will send you
>a file that should fix the bug. We will have to do some more testing,
>and then we will think about how exactly we want to release the bug fix
>to the world.
>
>
>Thank you for your report!
>
>
>Roderick.
This archive was generated by hypermail 2b30 : Sat Dec 15 2001 - 16:18:34 MST