cudd 2.4.0 and vis 2.0

From: Ilya Shlyakhter (ilya_shl_at_MIT.EDU)
Date: Thu May 20 2004 - 13:38:21 MDT


dear vis users,

has anyone tried using cudd 2.4.0 with vis 2.0 (instead of the included cudd 2.3.2)?
if yes, have you run into any problems?

ilya



This archive was generated by hypermail 2.1.7 : Thu May 20 2004 - 13:41:07 MDT