buddy-developers

[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/

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

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
>

Re: [Buddy-developers] BuDDy and JavaBDD

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

On Wed, Aug 20, 2008 at 7:43 PM, John Whaley <joe...@gm...> wrote:
> 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.

Thanks, John.  Do you have any plans to fold those changes in in the
near future?

(Not that I'm in any particular hurry.  I've just been thinking about
pushing some BDD-related packages into Fedora, and it would be nice to
have this issue resolved first.)
-- 
Jerry James
http://loganjerry.googlepages.com/