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