From: Aly Farahat (anfaraha_at_mtu.edu)
Date: Thu Jan 08 2009 - 19:33:04 MST
Thank you all for help.
What about expressing it in a concise logical expression? Does such a function exist?
----- Original Message -----
From: "Fabio Somenzi" <Fabio_at_colorado.edu>
To: vis-users_at_lists.Colorado.EDU
Sent: Tuesday, January 6, 2009 8:35:14 PM GMT -05:00 US/Canada Eastern
Subject: Re: your mail
>>>>> "SF" == Shaun Feng <xsfeng_at_cs.ubc.ca> writes:
SF> Cudd_DumpDot can print a BDD to a graph in dot format (you can edit
SF> the dot file very easily. I did that cause I want to change names for
SF> nodes). Then, you can use dot2ps inside graphviz package to get
SF> postscript graph.
SF> http://vlsi.colorado.edu/~fabio/CUDD/cuddAllDet.html#Cudd_DumpDot
Cudd_DumpDot is what I would also recommend. From within vis, you can
call bdd_dump_dot, which is just a wrapper function. If you don't
have an application that manipulates BDDs, you can try downloading
DDcal from:
ftp://vlsi.colorado.edu/pub/DDcal-0.7.tar.gz
You need, CUDD, Perl-Tk, and graphviz to build it.
Fabio
-- Ph.D. Student Computer Science Department Michigan Technological University 1400 Townsend Drive Houghton - MI USA Tel: +1906-370-1015
This archive was generated by hypermail 2.1.7 : Thu Jan 08 2009 - 19:36:37 MST