ok thanks. I am not familiar with the process of using patches. Is it the case that if I apply the patch then I will be able to use the tool and that your request for "polishing" has more to do with including it as a standard feature in all sage downloads?
On Sep 22, 5:49 pm, Minh Nguyen <[email protected]> wrote: > Hi Luis, > > On Wed, Sep 23, 2009 at 6:44 AM, lastras <[email protected]> wrote: > > > I am looking for a boolean logic minimization toolset for sage. It > > does not seem to be part of the standard package, is there anything > > you might know about this? > > Sage modules under sage/logic deal with symbolic logic. AFAIK boolean > logic minimization is not yet in Sage. However, ticket #5910 [1] has a > patch that implements the Quine-McCluskey algorithm for minimizing > logic expressions. The patch is more or less self-contained and nobody > has touched it in 5 months. It needs some polishing before getting > into Sage. Any volunteers? :-) > > [1]http://trac.sagemath.org/sage_trac/ticket/5910 > > -- > Regards > Minh Van Nguyen --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
