File list:
cudd-2.4.2
.........\cudd
.........\....\doc
.........\....\...\icons
.........\....\...\.....\blueball.png
.........\....\...\.....\ch_begin.png
.........\....\...\.....\ch_beg_r.png
.........\....\...\.....\ch_delet.png
.........\....\...\.....\ch_del_r.png
.........\....\...\.....\ch_end.png
.........\....\...\.....\ch_end_r.png
.........\....\...\.....\contents.png
.........\....\...\.....\crossref.png
.........\....\...\.....\footnote.png
.........\....\...\.....\greenball.png
.........\....\...\.....\image.png
.........\....\...\.....\index.png
.........\....\...\.....\next.png
.........\....\...\.....\next_g.png
.........\....\...\.....\nx_grp.png
.........\....\...\.....\nx_grp_g.png
.........\....\...\.....\orangeball.png
.........\....\...\.....\pinkball.png
.........\....\...\.....\prev.png
.........\....\...\.....\prev_g.png
.........\....\...\.....\purpleball.png
.........\....\...\.....\pv_grp.png
.........\....\...\.....\pv_grp_g.png
.........\....\...\.....\redball.png
.........\....\...\.....\up.png
.........\....\...\.....\up_g.png
.........\....\...\.....\whiteball.png
.........\....\...\.....\yellowball.png
.........\....\...\cudd.doc
.........\....\...\cudd.ps
.........\....\...\cuddAllAbs.html
.........\....\...\cuddAllByFile.html
.........\....\...\cuddAllByFunc.html
.........\....\...\cuddAllDet.html
.........\....\...\cuddAllFile.html
.........\....\...\cuddDesc.html
.........\....\...\cuddExt.html
.........\....\...\cuddExtAbs.html
.........\....\...\cuddExtDet.html
.........\....\...\cuddIntro.css
.........\....\...\cuddIntro.html
.........\....\...\cuddTitle.html
.........\....\...\footnode.html
.........\....\...\img1.png
.........\....\...\img10.png
.........\....\...\img11.png
.........\....\...\img12.png
.........\....\...\img13.png
.........\....\...\img14.png
.........\....\...\img15.png
.........\....\...\img16.png
.........\....\...\img17.png
.........\....\...\img18.png
.........\....\...\img19.png
.........\....\...\img2.png
.........\....\...\img20.png
.........\....\...\img21.png
.........\....\...\img22.png
.........\....\...\img3.png
.........\....\...\img4.png
.........\....\...\img5.png
.........\....\...\img6.png
.........\....\...\img7.png
.........\....\...\img8.png
.........\....\...\img9.png
.........\....\...\index.html
.........\....\...\node1.html
.........\....\...\node2.html
.........\....\...\node3.html
.........\....\...\node4.html
.........\....\...\node5.html
.........\....\...\node6.html
.........\....\...\node7.html
.........\....\...\node8.html
.........\....\cudd.h
.........\....\cuddAddAbs.c
.........\....\cuddAddApply.c
.........\....\cuddAddFind.c
.........\....\cuddAddInv.c
.........\....\cuddAddIte.c
.........\....\cuddAddNeg.c
.........\....\cuddAddWalsh.c
.........\....\cuddAndAbs.c
.........\....\cuddAnneal.c
.........\....\cuddApa.c
.........\....\cuddAPI.c
.........\....\cuddApprox.c
.........\....\cuddBddAbs.c
.........\....\cuddBddCorr.c
.........\....\cuddBddIte.c
.........\....\cuddBridge.c
.........\....\cuddCache.c
.........\....\cuddCheck.c
.........\....\cuddClip.c
.........\....\cuddCof.c
.........\....\cuddCompose.c
.........\....\cuddDecomp.c
.........\....\cuddEssent.c
.........\....\cuddExact.c
.........\....\cuddExport.c
.........\....\cuddGenCof.c
.........\....\cuddGenetic.c
.........\....\cuddGroup.c
.........\....\cuddHarwell.c
.........\....\cuddInit.c
.........\....\cuddInt.h
.........\....\cuddInteract.c
.........\....\cuddLCache.c
.........\....\cuddLevelQ.c
.........\....\cuddLinear.c
.........\....\cuddLiteral.c
.........\....\cuddMatMult.c
.........\....\cuddPriority.c
.........\....\cuddRead.c
.........\....\cuddRef.c
.........\....\cuddReorder.c
.........\....\cuddSat.c
.........\....\cuddSign.c
.........\....\cuddSolve.c
.........\....\cuddSplit.c
.........\....\cuddSubsetHB.c
.........\....\cuddSubsetSP.c
.........\....\cuddSymmetry.c
.........\....\cuddTable.c
.........\....\cuddUtil.c
.........\....\cuddWindow.c
.........\....\cuddZddCount.c
.........\....\cuddZddFuncs.c
.........\....\cuddZddGroup.c
.........\....\cuddZddIsop.c
.........\....\cuddZddLin.c
.........\....\cuddZddMisc.c
.........\....\cuddZddPort.c
.........\....\cuddZddReord.c
.........\....\cuddZddSetop.c
.........\....\cuddZddSymm.c
.........\....\cuddZddUtil.c
.........\....\Makefile
.........\....\r7x8.1.mat
.........\....\r7x8.1.out
.........\....\testcudd.c
.........\dddmp
.........\.....\doc
.........\.....\...\cmdIndex.html
.........\.....\...\commands.html
.........\.....\...\credit.html
.........\.....\...\dddmp-2.0-A4.ps
.........\.....\...\dddmp-2.0-Letter.ps
.........\.....\...\dddmpAllAbs.html
.........\.....\...\dddmpAllByFile.html
.........\.....\...\dddmpAllByFunc.html
.........\.....\...\dddmpAllDet.html
.........\.....\...\dddmpAllFile.html
.........\.....\...\dddmpDesc.html
.........\.....\...\dddmpDoc.txt
.........\.....\...\dddmpExt.html
.........\.....\...\dddmpExtAbs.html
.........\.....\...\dddmpExtDet.html
.........\.....\...\dddmpTitle.html
.........\.....\...\packages.html
.........\.....\...\pkgIndex.html
.........\.....\exp
.........\.....\...\0.add
.........\.....\...\0.bdd
.........\.....\...\0or1.bdd
.........\.....\...\1.add
.........\.....\...\1.bdd
.........\.....\...\2.bdd
.........\.....\...\2and3.bdd
.........\.....\...\3.bdd
.........\.....\...\4.bdd
.........\.....\...\4.bdd.bis1
.........\.....\...\4.bdd.bis2
.........\.....\...\4.bdd.bis3
.........\.....\...\4.bdd.bis4
.........\.....\...\4.cnf
.........\.....\...\4.cnf.bis
.........\.....\...\4.max1
.........\.....\...\4.max2
.........\.....\...\4bis.bdd
.........\.....\...\4xor5.bdd
.........\.....\...\5.bdd
.........\.....\...\composeids.txt
.........\.....\...\one.bdd
.........\.....\...\runAllTest.out
.........\.....\...\runAllTest.script
.........\.....\...\s27deltaDddmp1.bdd
.........\.....\...\s27deltaDddmp1.bdd.bis
.........\.....\...\s27deltaDddmp2.bdd
.........\.....\...\s27RP1.bdd
.........\.....\...\test1.out
.........\.....\...\test1.script
.........\.....\...\test2.out
.........\.....\...\test2.script
.........\.....\...\test3.out
.........\.....\...\test3.script
.........\.....\...\test4.out
.........\.....\...\test4.script
.........\.....\...\test5.out
.........\.....\...\test5.script
.........\.....\...\test6.out
.........\.....\...\test6.script
.........\.....\...\test7.out
.........\.....\...\test7.script
.........\.....\...\varauxids.ord
.........\.....\...\varnames.ord
.........\.....\...\zero.bdd
.........\.....\dddmp.h
.........\.....\dddmpBinary.c
.........\.....\dddmpConvert.c
.........\.....\dddmpDbg.c
.........\.....\dddmpDdNodeBdd.c
.........\.....\dddmpDdNodeCnf.c
.........\.....\dddmpInt.h
.........\.....\dddmpLoad.c
.........\.....\dddmpLoadCnf.c
.........\.....\dddmpNodeAdd.c
.........\.....\dddmpNodeBdd.c
.........\.....\dddmpNodeCnf.c
.........\.....\dddmpStoreAdd.c
.........\.....\dddmpStoreBdd.c
.........\.....\dddmpStoreCnf.c
.........\.....\dddmpStoreMisc.c
.........\.....\dddmpUtil.c
.........\.....\Makefile
.........\.....\README.dddmp
.........\.....\README.testdddmp
.........\.....\RELEASE_NOTES
.........\.....\testdddmp.c
.........\epd
.........\...\epd.c
.........\...\epd.h
.........\...\Makefile
.........\mnemosyne
.........\.........\Makefile
.........\.........\mnemalyse.c
.........\.........\mnemconf.h
.........\.........\mnemosyne.c
.........\.........\mnemosyne.h
.........\.........\mtest.c
.........\.........\README
.........\mtr
.........\...\doc
.........\...\...\mtr.doc
.........\...\...\mtrAllAbs.html
.........\...\...\mtrAllDet.html
.........\...\...\mtrExtAbs.html
.........\...\...\mtrExtDet.html
.........\...\Makefile
.........\...\Makefile.sis
.........\...\mtr.h
.........\...\mtrBasic.c
.........\...\mtrGroup.c
.........\...\mtrInt.h
.........\...\test.groups
.........\...\testmtr.c
.........\nanotrav
.........\........\doc
.........\........\...\bnetAllAbs.html
.........\........\...\bnetAllDet.html
.........\........\...\bnetExtAbs.html
.........\........\...\bnetExtDet.html
.........\........\...\ntrAllAbs.html
.........\........\...\ntrAllDet.html
.........\........\...\ntrExtAbs.html
.........\........\...\ntrExtDet.html
.........\........\bnet.c
.........\........\bnet.h
.........\........\C17.blif
.........\........\C17.out
.........\........\C880.blif
.........\........\C880.out
.........\........\chkMterm.c
.........\........\main.c
.........\........\Makefile
.........\........\mult32a.blif
.........\........\mult32a.out
.........\........\nanotrav.1
.........\........\ntr.c
.........\........\ntr.h
.........\........\ntrBddTest.c
.........\........\ntrHeap.c
.........\........\ntrMflow.c
.........\........\ntrShort.c
.........\........\ntrZddTest.c
.........\........\rcn25.blif
.........\........\rcn25.out
.........\........\README
.........\........\s27.blif
.........\........\s27.out
.........\........\tst.sh
.........\........\ucbqsort.c
.........\obj
.........\...\cuddObj.cc
.........\...\cuddObj.hh
.........\...\Makefile
.........\...\test.out
.........\...\testobj.cc
.........\sis
.........\...\cuddBdd.h
.........\...\cuddBddPort.c
.........\...\cuddPwPt.c
.........\...\Makefile.sis
.........\...\st.c
.........\...\st.h
.........\st
.........\..\doc
.........\..\...\stAllAbs.html
.........\..\...\stAllDet.html
.........\..\...\stExtAbs.html
.........\..\...\stExtDet.html
.........\..\Makefile
.........\..\st.c
.........\..\st.h
.........\util
.........\....\cpu_stats.c
.........\....\cpu_time.c
.........\....\datalimit.c
.........\....\getopt.c
.........\....\Makefile
.........\....\pathsearch.c
.........\....\pipefork.c
.........\....\prtime.c
.........\....\ptime.c
.........\....\restart.c
.........\....\safe_mem.c
.........\....\saveimage.c
.........\....\state.c
.........\....\strsav.c
.........\....\stub.c
.........\....\test-res.c
.........\....\test-sav.c
.........\....\texpand.c
.........\....\tmpfile.c
.........\....\util.h
.........\LICENSE
.........\Makefile
.........\README
.........\RELEASE.NOTES
.........\setup.sh
.........\shutdown.sh
