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/