I received this question from a potential Sage developer. Any thoughts? "Hi William. I notice that the package Polybori is included with SAGE now. I know that Polybori (at least for the moment) uses the package CUDD (for binary decision diagrams), and includes it in the package. Do you know if there's a direct SAGE interface to parts of CUDD already there, or, if not, is someone thinking about it? If not, I might be interested in working on that."
-- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
