On Tuesday 10 November 2009, VictorMiller wrote: > 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!
I don't think that we install the CUDD library (I just checked the SConstruct file in the PolyBoRi SPKG). Although, we do install the headers in $SAGE_LOCAL/include/cudd My guess is, that you'd have to modify the PolyBoRi SPKG to install the Cudd library if you need the shared library for what you are doing. If you choose to do so, please start from this version: http://trac.sagemath.org/sage_trac/ticket/7271 Hope that helps, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
