The package CUDD is part of Polybori, which uses it for some internal manipulation. I'm interested in accessing some CUDD functions directly, but I'm not sure where to find the library. More specifically, if I wanted to write some Cython to access these functions what path should I use? It's hard to find!
Victor --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
