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 -~----------~----~----~----~------~----~------~--~---
