Martin, I just checked. In fact you do install the CUDD library under
the name libpboriCudd.a (and other incarnations). I've been
successfully
building stand alone programs using that library and the headers in in
local/include/cudd.
Victor
On Nov 10, 12:52 pm, Martin Albrecht
wrote:
> On Tue
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 t