Re: [Buddy-developers] BuDDy and JavaBDD

[Haim C. <ha...@gm...>]

Thanks Jerry !

I am not aware of any branch from buddy. It could be that JavaBDD was
created before BuDDy was moved to SF.



On 8/20/08, 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
>

-- 
Sent from Gmail for mobile | mobile.google.com