Re: anybody send me a copy of old version of cudd or just send me a link

From: 陈伟 (cwei_at_ios.ac.cn)
Date: Mon Apr 16 2007 - 21:54:57 MDT

• Next message: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Previous message: gepolv: "anybody send me a copy of old version of cudd or just send me a link"
• Maybe in reply to: gepolv: "anybody send me a copy of old version of cudd or just send me a link"
• Next in thread: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Reply: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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

• Next message: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Previous message: gepolv: "anybody send me a copy of old version of cudd or just send me a link"
• Maybe in reply to: gepolv: "anybody send me a copy of old version of cudd or just send me a link"
• Next in thread: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Reply: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Apr 16 2007 - 21:57:35 MDT