[Javabdd-devel] Loading dddmp files into JavaBDD

[laini r. <mis...@gm...>]

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