Re: [Buddy-developers] BuDDy and JavaBDD

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

Yes, the version of BuDDy that ships with JavaBDD has some optimizations and
a few new functions.  It would make sense to fold those into the main BuDDy
distribution.

-John


On Wed, Aug 20, 2008 at 11:50 AM, Jerry James <log...@gm...> wrote:

> 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/
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's
> challenge
> Build the coolest Linux based applications with Moblin SDK & win great
> prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> Buddy-developers mailing list
> Bud...@li...
> https://lists.sourceforge.net/lists/listinfo/buddy-developers
>