Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=476346
--- Comment #4 from Conrad Meyer konrad@tylerc.org 2009-03-19 00:07:06 EDT --- I'm having trouble getting PolyBoRi to link against cudd for whatever reason. This will take some work.