zbdd123
.......\LICENSE
.......\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
.......\........\bnet.c
.......\........\bnet.h
.......\........\C17.blif
.......\........\C17.out
.......\........\C880.blif
.......\........\C880.out
.......\........\chkMterm.c
.......\........\doc
.......\........\...\bnetAllAbs.html
.......\........\...\bnetAllDet.html
.......\........\...\bnetExtAbs.html
.......\........\...\bnetExtDet.html
.......\........\...\ntrAllAbs.html
.......\........\...\ntrAllDet.html
.......\........\...\ntrExtAbs.html
.......\........\...\ntrExtDet.html
.......\........\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
.......\...\.Makefile.swp
.......\...\cuddObj.cc
.......\...\cuddObj.hh
.......\...\Makefile
.......\...\test.out
.......\...\testobj.cc
.......\README
.......\RELEASE.NOTES
.......\setup.sh
.......\shutdown.sh
.......\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
.......\....\Makefile
.......\....\pathsearch.c
.......\....\pipefork.c
.......\....\prtime.c
.......\....\ptime.c
.......\....\restart.c
.......\....\safe_mem.c