[Buddy-developers] BuDDy and JavaBDD

[Jerry J. <log...@gm...>]

I've had an RPM of BuDDy [1] around for awhile.  Recently, I decided
to create one for JavaBDD [2] as well.  I tried to use the installed
BuDDy headers & libraries instead of those shipped with JavaBDD, in
order to be repository-friendly, but failed.  It turns out that the
BuDDy sources shipped with JavaBDD contain at least 3 new functions in
the API, as well as a number of other changes.  I don't see this stuff
in the BuDDy CVS repository.  Are the BuDDy developers aware of the
differences?

Thanks,

References:
[1] http://jjames.fedorapeople.org/buddy/
[2] http://javabdd.sourceforge.net/
-- 
Jerry James
http://loganjerry.googlepages.com/