Re: [Javabdd-devel] Loading dddmp files into JavaBDD

[John W. <joe...@gm...>]

I'm not sure what format CUDD uses.  JavaBDD currently supports input/output
in BuDDy's BDD format.

-John


On Fri, Sep 30, 2011 at 10:21 AM, laini render <
mis...@gm...> wrote:

> Hi there,
>
> I want to be able to read in .bdd files output by CUDD (using dddmp) so
> that I may manipulate the data using the functionality of JavaBDD. Before I
> start writing this myself I wanted to see if anyone was aware of this having
> been done already and if so, where I might be able to snag the code. Any
> pointers appreciated.
>
> Thanks
>
> laini
>
>
> ------------------------------------------------------------------------------
> All of the data generated in your IT infrastructure is seriously valuable.
> Why? It contains a definitive record of application performance, security
> threats, fraudulent activity, and more. Splunk takes this data and makes
> sense of it. IT sense. And common sense.
> http://p.sf.net/sfu/splunk-d2dcopy2
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>