tezozomoc

cuddexport.c is missing a good Dot File Tree Dump...

1

There is no good dot tree dump for cudd... I wrote this one several years ago... Please include the following function to cuddexport.c in the cudd.h file include the following.....