Did you know ... Search Documentation:
Pack bddem -- cudd-3.0.0/dddmp/doc/dddmpDoc.txt

Readme file cudd-3.0.0/dddmp/doc/dddmpDoc.txt too large (32,768 bytes; maximum size is 20,000)