├── Doxyfile.in ├── LICENSE ├── Makefile.am ├── Makefile.in ├── README ├── RELEASE.NOTES ├── aclocal.m4 ├── config.h.in ├── configure ├── configure.ac ├── cplusplus ├── Included.am ├── cuddObj.cc ├── cuddObj.hh ├── multi.out ├── test.out ├── test_obj.test.in ├── testmulti.cc └── testobj.cc ├── cudd ├── Included.am ├── cudd.h ├── cuddAPI.c ├── cuddAddAbs.c ├── cuddAddApply.c ├── cuddAddFind.c ├── cuddAddInv.c ├── cuddAddIte.c ├── cuddAddNeg.c ├── cuddAddWalsh.c ├── cuddAndAbs.c ├── cuddAnneal.c ├── cuddApa.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 ├── extra.out ├── r7x8.1.mat ├── r7x8.1.out ├── test_cudd.test.in ├── testcudd.c └── testextra.c ├── dddmp ├── Included.am ├── README.dddmp ├── README.testdddmp ├── RELEASE_NOTES ├── dddmp.h ├── dddmpBinary.c ├── dddmpConvert.c ├── dddmpDbg.c ├── dddmpInt.h ├── dddmpLoad.c ├── dddmpLoadCnf.c ├── dddmpNodeAdd.c ├── dddmpNodeBdd.c ├── dddmpNodeCnf.c ├── dddmpStoreAdd.c ├── dddmpStoreBdd.c ├── dddmpStoreCnf.c ├── dddmpStoreMisc.c ├── dddmpUtil.c ├── 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 │ ├── s27RP1.bdd │ ├── s27deltaDddmp1.bdd │ ├── s27deltaDddmp1.bdd.bis │ ├── s27deltaDddmp2.bdd │ ├── test1.sh.in │ ├── test2.sh.in │ ├── test3.sh.in │ ├── test4.sh.in │ ├── test5.sh.in │ ├── test6.sh.in │ ├── test7.sh.in │ ├── varauxids.ord │ ├── varnames.ord │ └── zero.bdd ├── test_dddmp.test.in └── testdddmp.c ├── doc ├── Included.am ├── cudd.tex.in └── phase.pdf ├── epd ├── Included.am ├── epd.c ├── epd.h └── epdInt.h ├── groups.dox ├── m4 ├── libtool.m4 ├── ltoptions.m4 ├── ltsugar.m4 ├── ltversion.m4 ├── lt~obsolete.m4 ├── modern_cxx.m4 └── w32.m4 ├── mtr ├── Included.am ├── mtr.h ├── mtrBasic.c ├── mtrGroup.c ├── mtrInt.h ├── test.groups ├── test.out ├── test_mtr.test.in └── testmtr.c ├── nanotrav ├── C17.blif ├── C17.out ├── C880.blif ├── C880.out ├── Included.am ├── README ├── adj49.blif ├── adj49.out ├── bnet.c ├── bnet.h ├── chkMterm.c ├── closest.blif ├── closest.out ├── ham01.blif ├── ham01.out ├── main.c ├── miniFirst.blif ├── miniFirst.out ├── miniSecond.blif ├── mult32a.blif ├── mult32a.out ├── nanotrav.1 ├── ntr.c ├── ntr.h ├── ntrBddTest.c ├── ntrHeap.c ├── ntrMflow.c ├── ntrShort.c ├── ntrZddTest.c ├── rcn25.blif ├── rcn25.out ├── s27.blif ├── s27.out ├── s27b.blif ├── s27b.out ├── s27c.blif ├── s27c.out ├── s382.blif ├── s382.out ├── s641.blif ├── s641.out └── test_ntrv.test.in ├── st ├── Included.am ├── st.c ├── st.h ├── test_st.test.in └── testst.c └── util ├── Included.am ├── cpu_stats.c ├── cpu_time.c ├── cstringstream.c ├── cstringstream.h ├── datalimit.c ├── pathsearch.c ├── pipefork.c ├── prtime.c ├── safe_mem.c ├── strsav.c ├── texpand.c ├── ucbqsort.c └── util.h /Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/Doxyfile.in -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/Makefile.am -------------------------------------------------------------------------------- /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/Makefile.in -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/README -------------------------------------------------------------------------------- /RELEASE.NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/RELEASE.NOTES -------------------------------------------------------------------------------- /aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/aclocal.m4 -------------------------------------------------------------------------------- /config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/config.h.in -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/configure -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/configure.ac -------------------------------------------------------------------------------- /cplusplus/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/Included.am -------------------------------------------------------------------------------- /cplusplus/cuddObj.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/cuddObj.cc -------------------------------------------------------------------------------- /cplusplus/cuddObj.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/cuddObj.hh -------------------------------------------------------------------------------- /cplusplus/multi.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/multi.out -------------------------------------------------------------------------------- /cplusplus/test.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/test.out -------------------------------------------------------------------------------- /cplusplus/test_obj.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/test_obj.test.in -------------------------------------------------------------------------------- /cplusplus/testmulti.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/testmulti.cc -------------------------------------------------------------------------------- /cplusplus/testobj.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cplusplus/testobj.cc -------------------------------------------------------------------------------- /cudd/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/Included.am -------------------------------------------------------------------------------- /cudd/cudd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cudd.h -------------------------------------------------------------------------------- /cudd/cuddAPI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAPI.c -------------------------------------------------------------------------------- /cudd/cuddAddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddAbs.c -------------------------------------------------------------------------------- /cudd/cuddAddApply.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddApply.c -------------------------------------------------------------------------------- /cudd/cuddAddFind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddFind.c -------------------------------------------------------------------------------- /cudd/cuddAddInv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddInv.c -------------------------------------------------------------------------------- /cudd/cuddAddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddIte.c -------------------------------------------------------------------------------- /cudd/cuddAddNeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddNeg.c -------------------------------------------------------------------------------- /cudd/cuddAddWalsh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAddWalsh.c -------------------------------------------------------------------------------- /cudd/cuddAndAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAndAbs.c -------------------------------------------------------------------------------- /cudd/cuddAnneal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddAnneal.c -------------------------------------------------------------------------------- /cudd/cuddApa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddApa.c -------------------------------------------------------------------------------- /cudd/cuddApprox.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddApprox.c -------------------------------------------------------------------------------- /cudd/cuddBddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddBddAbs.c -------------------------------------------------------------------------------- /cudd/cuddBddCorr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddBddCorr.c -------------------------------------------------------------------------------- /cudd/cuddBddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddBddIte.c -------------------------------------------------------------------------------- /cudd/cuddBridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddBridge.c -------------------------------------------------------------------------------- /cudd/cuddCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddCache.c -------------------------------------------------------------------------------- /cudd/cuddCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddCheck.c -------------------------------------------------------------------------------- /cudd/cuddClip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddClip.c -------------------------------------------------------------------------------- /cudd/cuddCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddCof.c -------------------------------------------------------------------------------- /cudd/cuddCompose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddCompose.c -------------------------------------------------------------------------------- /cudd/cuddDecomp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddDecomp.c -------------------------------------------------------------------------------- /cudd/cuddEssent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddEssent.c -------------------------------------------------------------------------------- /cudd/cuddExact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddExact.c -------------------------------------------------------------------------------- /cudd/cuddExport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddExport.c -------------------------------------------------------------------------------- /cudd/cuddGenCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddGenCof.c -------------------------------------------------------------------------------- /cudd/cuddGenetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddGenetic.c -------------------------------------------------------------------------------- /cudd/cuddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddGroup.c -------------------------------------------------------------------------------- /cudd/cuddHarwell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddHarwell.c -------------------------------------------------------------------------------- /cudd/cuddInit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddInit.c -------------------------------------------------------------------------------- /cudd/cuddInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddInt.h -------------------------------------------------------------------------------- /cudd/cuddInteract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddInteract.c -------------------------------------------------------------------------------- /cudd/cuddLCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddLCache.c -------------------------------------------------------------------------------- /cudd/cuddLevelQ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddLevelQ.c -------------------------------------------------------------------------------- /cudd/cuddLinear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddLinear.c -------------------------------------------------------------------------------- /cudd/cuddLiteral.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddLiteral.c -------------------------------------------------------------------------------- /cudd/cuddMatMult.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddMatMult.c -------------------------------------------------------------------------------- /cudd/cuddPriority.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddPriority.c -------------------------------------------------------------------------------- /cudd/cuddRead.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddRead.c -------------------------------------------------------------------------------- /cudd/cuddRef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddRef.c -------------------------------------------------------------------------------- /cudd/cuddReorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddReorder.c -------------------------------------------------------------------------------- /cudd/cuddSat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSat.c -------------------------------------------------------------------------------- /cudd/cuddSign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSign.c -------------------------------------------------------------------------------- /cudd/cuddSolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSolve.c -------------------------------------------------------------------------------- /cudd/cuddSplit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSplit.c -------------------------------------------------------------------------------- /cudd/cuddSubsetHB.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSubsetHB.c -------------------------------------------------------------------------------- /cudd/cuddSubsetSP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSubsetSP.c -------------------------------------------------------------------------------- /cudd/cuddSymmetry.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddSymmetry.c -------------------------------------------------------------------------------- /cudd/cuddTable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddTable.c -------------------------------------------------------------------------------- /cudd/cuddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddUtil.c -------------------------------------------------------------------------------- /cudd/cuddWindow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddWindow.c -------------------------------------------------------------------------------- /cudd/cuddZddCount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddCount.c -------------------------------------------------------------------------------- /cudd/cuddZddFuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddFuncs.c -------------------------------------------------------------------------------- /cudd/cuddZddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddGroup.c -------------------------------------------------------------------------------- /cudd/cuddZddIsop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddIsop.c -------------------------------------------------------------------------------- /cudd/cuddZddLin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddLin.c -------------------------------------------------------------------------------- /cudd/cuddZddMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddMisc.c -------------------------------------------------------------------------------- /cudd/cuddZddPort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddPort.c -------------------------------------------------------------------------------- /cudd/cuddZddReord.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddReord.c -------------------------------------------------------------------------------- /cudd/cuddZddSetop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddSetop.c -------------------------------------------------------------------------------- /cudd/cuddZddSymm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddSymm.c -------------------------------------------------------------------------------- /cudd/cuddZddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/cuddZddUtil.c -------------------------------------------------------------------------------- /cudd/extra.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/extra.out -------------------------------------------------------------------------------- /cudd/r7x8.1.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/r7x8.1.mat -------------------------------------------------------------------------------- /cudd/r7x8.1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/r7x8.1.out -------------------------------------------------------------------------------- /cudd/test_cudd.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/test_cudd.test.in -------------------------------------------------------------------------------- /cudd/testcudd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/testcudd.c -------------------------------------------------------------------------------- /cudd/testextra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/cudd/testextra.c -------------------------------------------------------------------------------- /dddmp/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/Included.am -------------------------------------------------------------------------------- /dddmp/README.dddmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/README.dddmp -------------------------------------------------------------------------------- /dddmp/README.testdddmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/README.testdddmp -------------------------------------------------------------------------------- /dddmp/RELEASE_NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/RELEASE_NOTES -------------------------------------------------------------------------------- /dddmp/dddmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmp.h -------------------------------------------------------------------------------- /dddmp/dddmpBinary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpBinary.c -------------------------------------------------------------------------------- /dddmp/dddmpConvert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpConvert.c -------------------------------------------------------------------------------- /dddmp/dddmpDbg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpDbg.c -------------------------------------------------------------------------------- /dddmp/dddmpInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpInt.h -------------------------------------------------------------------------------- /dddmp/dddmpLoad.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpLoad.c -------------------------------------------------------------------------------- /dddmp/dddmpLoadCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpLoadCnf.c -------------------------------------------------------------------------------- /dddmp/dddmpNodeAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpNodeAdd.c -------------------------------------------------------------------------------- /dddmp/dddmpNodeBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpNodeBdd.c -------------------------------------------------------------------------------- /dddmp/dddmpNodeCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpNodeCnf.c -------------------------------------------------------------------------------- /dddmp/dddmpStoreAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpStoreAdd.c -------------------------------------------------------------------------------- /dddmp/dddmpStoreBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpStoreBdd.c -------------------------------------------------------------------------------- /dddmp/dddmpStoreCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpStoreCnf.c -------------------------------------------------------------------------------- /dddmp/dddmpStoreMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpStoreMisc.c -------------------------------------------------------------------------------- /dddmp/dddmpUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/dddmpUtil.c -------------------------------------------------------------------------------- /dddmp/doc/cmdIndex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/cmdIndex.html -------------------------------------------------------------------------------- /dddmp/doc/commands.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/commands.html -------------------------------------------------------------------------------- /dddmp/doc/credit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/credit.html -------------------------------------------------------------------------------- /dddmp/doc/dddmp-2.0-A4.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmp-2.0-A4.ps -------------------------------------------------------------------------------- /dddmp/doc/dddmp-2.0-Letter.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmp-2.0-Letter.ps -------------------------------------------------------------------------------- /dddmp/doc/dddmpAllAbs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpAllAbs.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpAllByFile.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpAllByFile.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpAllByFunc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpAllByFunc.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpAllDet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpAllDet.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpAllFile.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpAllFile.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpDesc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpDesc.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpDoc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpDoc.txt -------------------------------------------------------------------------------- /dddmp/doc/dddmpExt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpExt.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpExtAbs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpExtAbs.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpExtDet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpExtDet.html -------------------------------------------------------------------------------- /dddmp/doc/dddmpTitle.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/dddmpTitle.html -------------------------------------------------------------------------------- /dddmp/doc/packages.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/packages.html -------------------------------------------------------------------------------- /dddmp/doc/pkgIndex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/doc/pkgIndex.html -------------------------------------------------------------------------------- /dddmp/exp/0.add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/0.add -------------------------------------------------------------------------------- /dddmp/exp/0.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/0.bdd -------------------------------------------------------------------------------- /dddmp/exp/0or1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/0or1.bdd -------------------------------------------------------------------------------- /dddmp/exp/1.add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/1.add -------------------------------------------------------------------------------- /dddmp/exp/1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/1.bdd -------------------------------------------------------------------------------- /dddmp/exp/2.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/2.bdd -------------------------------------------------------------------------------- /dddmp/exp/2and3.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/2and3.bdd -------------------------------------------------------------------------------- /dddmp/exp/3.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/3.bdd -------------------------------------------------------------------------------- /dddmp/exp/4.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.bdd -------------------------------------------------------------------------------- /dddmp/exp/4.bdd.bis1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.bdd.bis1 -------------------------------------------------------------------------------- /dddmp/exp/4.bdd.bis2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.bdd.bis2 -------------------------------------------------------------------------------- /dddmp/exp/4.bdd.bis3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.bdd.bis3 -------------------------------------------------------------------------------- /dddmp/exp/4.bdd.bis4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.bdd.bis4 -------------------------------------------------------------------------------- /dddmp/exp/4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.cnf -------------------------------------------------------------------------------- /dddmp/exp/4.cnf.bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.cnf.bis -------------------------------------------------------------------------------- /dddmp/exp/4.max1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.max1 -------------------------------------------------------------------------------- /dddmp/exp/4.max2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4.max2 -------------------------------------------------------------------------------- /dddmp/exp/4bis.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4bis.bdd -------------------------------------------------------------------------------- /dddmp/exp/4xor5.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/4xor5.bdd -------------------------------------------------------------------------------- /dddmp/exp/5.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/5.bdd -------------------------------------------------------------------------------- /dddmp/exp/composeids.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/composeids.txt -------------------------------------------------------------------------------- /dddmp/exp/one.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/one.bdd -------------------------------------------------------------------------------- /dddmp/exp/s27RP1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/s27RP1.bdd -------------------------------------------------------------------------------- /dddmp/exp/s27deltaDddmp1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/s27deltaDddmp1.bdd -------------------------------------------------------------------------------- /dddmp/exp/s27deltaDddmp1.bdd.bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/s27deltaDddmp1.bdd.bis -------------------------------------------------------------------------------- /dddmp/exp/s27deltaDddmp2.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/s27deltaDddmp2.bdd -------------------------------------------------------------------------------- /dddmp/exp/test1.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test1.sh.in -------------------------------------------------------------------------------- /dddmp/exp/test2.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test2.sh.in -------------------------------------------------------------------------------- /dddmp/exp/test3.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test3.sh.in -------------------------------------------------------------------------------- /dddmp/exp/test4.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test4.sh.in -------------------------------------------------------------------------------- /dddmp/exp/test5.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test5.sh.in -------------------------------------------------------------------------------- /dddmp/exp/test6.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test6.sh.in -------------------------------------------------------------------------------- /dddmp/exp/test7.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/test7.sh.in -------------------------------------------------------------------------------- /dddmp/exp/varauxids.ord: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/varauxids.ord -------------------------------------------------------------------------------- /dddmp/exp/varnames.ord: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/varnames.ord -------------------------------------------------------------------------------- /dddmp/exp/zero.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/exp/zero.bdd -------------------------------------------------------------------------------- /dddmp/test_dddmp.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/test_dddmp.test.in -------------------------------------------------------------------------------- /dddmp/testdddmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/dddmp/testdddmp.c -------------------------------------------------------------------------------- /doc/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/doc/Included.am -------------------------------------------------------------------------------- /doc/cudd.tex.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/doc/cudd.tex.in -------------------------------------------------------------------------------- /doc/phase.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/doc/phase.pdf -------------------------------------------------------------------------------- /epd/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/epd/Included.am -------------------------------------------------------------------------------- /epd/epd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/epd/epd.c -------------------------------------------------------------------------------- /epd/epd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/epd/epd.h -------------------------------------------------------------------------------- /epd/epdInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/epd/epdInt.h -------------------------------------------------------------------------------- /groups.dox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/groups.dox -------------------------------------------------------------------------------- /m4/libtool.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/libtool.m4 -------------------------------------------------------------------------------- /m4/ltoptions.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/ltoptions.m4 -------------------------------------------------------------------------------- /m4/ltsugar.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/ltsugar.m4 -------------------------------------------------------------------------------- /m4/ltversion.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/ltversion.m4 -------------------------------------------------------------------------------- /m4/lt~obsolete.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/lt~obsolete.m4 -------------------------------------------------------------------------------- /m4/modern_cxx.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/modern_cxx.m4 -------------------------------------------------------------------------------- /m4/w32.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/m4/w32.m4 -------------------------------------------------------------------------------- /mtr/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/Included.am -------------------------------------------------------------------------------- /mtr/mtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/mtr.h -------------------------------------------------------------------------------- /mtr/mtrBasic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/mtrBasic.c -------------------------------------------------------------------------------- /mtr/mtrGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/mtrGroup.c -------------------------------------------------------------------------------- /mtr/mtrInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/mtrInt.h -------------------------------------------------------------------------------- /mtr/test.groups: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/test.groups -------------------------------------------------------------------------------- /mtr/test.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/test.out -------------------------------------------------------------------------------- /mtr/test_mtr.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/test_mtr.test.in -------------------------------------------------------------------------------- /mtr/testmtr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/mtr/testmtr.c -------------------------------------------------------------------------------- /nanotrav/C17.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/C17.blif -------------------------------------------------------------------------------- /nanotrav/C17.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/C17.out -------------------------------------------------------------------------------- /nanotrav/C880.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/C880.blif -------------------------------------------------------------------------------- /nanotrav/C880.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/C880.out -------------------------------------------------------------------------------- /nanotrav/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/Included.am -------------------------------------------------------------------------------- /nanotrav/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/README -------------------------------------------------------------------------------- /nanotrav/adj49.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/adj49.blif -------------------------------------------------------------------------------- /nanotrav/adj49.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/adj49.out -------------------------------------------------------------------------------- /nanotrav/bnet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/bnet.c -------------------------------------------------------------------------------- /nanotrav/bnet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/bnet.h -------------------------------------------------------------------------------- /nanotrav/chkMterm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/chkMterm.c -------------------------------------------------------------------------------- /nanotrav/closest.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/closest.blif -------------------------------------------------------------------------------- /nanotrav/closest.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/closest.out -------------------------------------------------------------------------------- /nanotrav/ham01.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ham01.blif -------------------------------------------------------------------------------- /nanotrav/ham01.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ham01.out -------------------------------------------------------------------------------- /nanotrav/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/main.c -------------------------------------------------------------------------------- /nanotrav/miniFirst.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/miniFirst.blif -------------------------------------------------------------------------------- /nanotrav/miniFirst.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/miniFirst.out -------------------------------------------------------------------------------- /nanotrav/miniSecond.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/miniSecond.blif -------------------------------------------------------------------------------- /nanotrav/mult32a.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/mult32a.blif -------------------------------------------------------------------------------- /nanotrav/mult32a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/mult32a.out -------------------------------------------------------------------------------- /nanotrav/nanotrav.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/nanotrav.1 -------------------------------------------------------------------------------- /nanotrav/ntr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntr.c -------------------------------------------------------------------------------- /nanotrav/ntr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntr.h -------------------------------------------------------------------------------- /nanotrav/ntrBddTest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntrBddTest.c -------------------------------------------------------------------------------- /nanotrav/ntrHeap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntrHeap.c -------------------------------------------------------------------------------- /nanotrav/ntrMflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntrMflow.c -------------------------------------------------------------------------------- /nanotrav/ntrShort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntrShort.c -------------------------------------------------------------------------------- /nanotrav/ntrZddTest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/ntrZddTest.c -------------------------------------------------------------------------------- /nanotrav/rcn25.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/rcn25.blif -------------------------------------------------------------------------------- /nanotrav/rcn25.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/rcn25.out -------------------------------------------------------------------------------- /nanotrav/s27.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s27.blif -------------------------------------------------------------------------------- /nanotrav/s27.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s27.out -------------------------------------------------------------------------------- /nanotrav/s27b.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s27b.blif -------------------------------------------------------------------------------- /nanotrav/s27b.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s27b.out -------------------------------------------------------------------------------- /nanotrav/s27c.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s27c.blif -------------------------------------------------------------------------------- /nanotrav/s27c.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s27c.out -------------------------------------------------------------------------------- /nanotrav/s382.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s382.blif -------------------------------------------------------------------------------- /nanotrav/s382.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s382.out -------------------------------------------------------------------------------- /nanotrav/s641.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s641.blif -------------------------------------------------------------------------------- /nanotrav/s641.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/s641.out -------------------------------------------------------------------------------- /nanotrav/test_ntrv.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/nanotrav/test_ntrv.test.in -------------------------------------------------------------------------------- /st/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/st/Included.am -------------------------------------------------------------------------------- /st/st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/st/st.c -------------------------------------------------------------------------------- /st/st.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/st/st.h -------------------------------------------------------------------------------- /st/test_st.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/st/test_st.test.in -------------------------------------------------------------------------------- /st/testst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/st/testst.c -------------------------------------------------------------------------------- /util/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/Included.am -------------------------------------------------------------------------------- /util/cpu_stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/cpu_stats.c -------------------------------------------------------------------------------- /util/cpu_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/cpu_time.c -------------------------------------------------------------------------------- /util/cstringstream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/cstringstream.c -------------------------------------------------------------------------------- /util/cstringstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/cstringstream.h -------------------------------------------------------------------------------- /util/datalimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/datalimit.c -------------------------------------------------------------------------------- /util/pathsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/pathsearch.c -------------------------------------------------------------------------------- /util/pipefork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/pipefork.c -------------------------------------------------------------------------------- /util/prtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/prtime.c -------------------------------------------------------------------------------- /util/safe_mem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/safe_mem.c -------------------------------------------------------------------------------- /util/strsav.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/strsav.c -------------------------------------------------------------------------------- /util/texpand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/texpand.c -------------------------------------------------------------------------------- /util/ucbqsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/ucbqsort.c -------------------------------------------------------------------------------- /util/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cuddorg/cudd/HEAD/util/util.h --------------------------------------------------------------------------------