From: gepolv (sssssiqn_at_gmail.com)
Date: Tue Apr 17 2007 - 20:28:55 MDT
oh,thanks,but the cudd contained in nusmv has been modified.
anyone else can give a link to download the old version of cudd?
在07-4-17，陈伟 <cwei_at_ios.ac.cn> 写道：
>
> gepolv，您好！
> try get it from nusmv releases, cudd is included in nusmv.
>
> cudd 2.3.0.1 source is inclued in nusmv 2.4.1
>
>
> ======== 2007-04-17 10:40:50 您在来信中写道： ========
>
>
>
> can anybody send me a copy of old version of cudd or just send me a link?
>
> regards
>
> = = = = = = = = = = = = = = = = = = = = = =
>
> 致
> 礼！
>
> 陈伟
> cwei_at_ios.ac.cn
> 2007-04-17
>
>
-- Lv Jinpeng FPGA CAD Research Group XIDIAN university,Xi'an,China
This archive was generated by hypermail 2.1.7 : Tue Apr 17 2007 - 20:32:27 MDT