Re: Bug in VIS

From: Kenshu Seto (kenshus@jcom.home.ne.jp)
Date: Sat Dec 15 2001 - 16:11:25 MST

  • Next message: Douwe Sikkema: "(no subject)"

    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