From 0202cf09a39ee519abc33d36a6f43389161ba842 Mon Sep 17 00:00:00 2001 From: Mahmoud Khaled Date: Sun, 25 Aug 2019 22:27:26 -0600 Subject: [PATCH] adding cudd 3.0 --- .DS_Store | Bin 0 -> 6148 bytes cudd-3.0.0/Doxyfile.in | 2383 ++ cudd-3.0.0/LICENSE | 31 + cudd-3.0.0/Makefile.am | 57 + cudd-3.0.0/Makefile.in | 3174 +++ cudd-3.0.0/README | 117 + cudd-3.0.0/RELEASE.NOTES | 344 + cudd-3.0.0/aclocal.m4 | 1254 + cudd-3.0.0/build-aux/ar-lib | 270 + cudd-3.0.0/build-aux/compile | 347 + cudd-3.0.0/build-aux/config.guess | 1420 ++ cudd-3.0.0/build-aux/config.sub | 1799 ++ cudd-3.0.0/build-aux/depcomp | 791 + cudd-3.0.0/build-aux/install-sh | 527 + cudd-3.0.0/build-aux/ltmain.sh | 9661 ++++++++ cudd-3.0.0/build-aux/missing | 215 + cudd-3.0.0/build-aux/tap-driver.sh | 651 + cudd-3.0.0/config.h.in | 186 + cudd-3.0.0/configure | 19889 ++++++++++++++++ cudd-3.0.0/configure.ac | 176 + cudd-3.0.0/cplusplus/Included.am | 48 + cudd-3.0.0/cplusplus/cuddObj.cc | 6168 +++++ cudd-3.0.0/cplusplus/cuddObj.hh | 750 + cudd-3.0.0/cplusplus/multi.out | 12 + cudd-3.0.0/cplusplus/test.out | 652 + cudd-3.0.0/cplusplus/test_obj.test.in | 71 + cudd-3.0.0/cplusplus/testmulti.cc | 192 + cudd-3.0.0/cplusplus/testobj.cc | 832 + cudd-3.0.0/cudd/Included.am | 46 + cudd-3.0.0/cudd/cudd.h | 983 + cudd-3.0.0/cudd/cuddAPI.c | 4773 ++++ cudd-3.0.0/cudd/cuddAddAbs.c | 543 + cudd-3.0.0/cudd/cuddAddApply.c | 891 + cudd-3.0.0/cudd/cuddAddFind.c | 298 + cudd-3.0.0/cudd/cuddAddInv.c | 190 + cudd-3.0.0/cudd/cuddAddIte.c | 620 + cudd-3.0.0/cudd/cuddAddNeg.c | 275 + cudd-3.0.0/cudd/cuddAddWalsh.c | 375 + cudd-3.0.0/cudd/cuddAndAbs.c | 364 + cudd-3.0.0/cudd/cuddAnneal.c | 757 + cudd-3.0.0/cudd/cuddApa.c | 1070 + cudd-3.0.0/cudd/cuddApprox.c | 2177 ++ cudd-3.0.0/cudd/cuddBddAbs.c | 739 + cudd-3.0.0/cudd/cuddBddCorr.c | 470 + cudd-3.0.0/cudd/cuddBddIte.c | 1406 ++ cudd-3.0.0/cudd/cuddBridge.c | 986 + cudd-3.0.0/cudd/cuddCache.c | 990 + cudd-3.0.0/cudd/cuddCheck.c | 825 + cudd-3.0.0/cudd/cuddClip.c | 538 + cudd-3.0.0/cudd/cuddCof.c | 497 + cudd-3.0.0/cudd/cuddCompose.c | 1703 ++ cudd-3.0.0/cudd/cuddDecomp.c | 2131 ++ cudd-3.0.0/cudd/cuddEssent.c | 1419 ++ cudd-3.0.0/cudd/cuddExact.c | 940 + cudd-3.0.0/cudd/cuddExport.c | 1483 ++ cudd-3.0.0/cudd/cuddGenCof.c | 2326 ++ cudd-3.0.0/cudd/cuddGenetic.c | 904 + cudd-3.0.0/cudd/cuddGroup.c | 2096 ++ cudd-3.0.0/cudd/cuddHarwell.c | 578 + cudd-3.0.0/cudd/cuddInit.c | 281 + cudd-3.0.0/cudd/cuddInt.h | 1249 + cudd-3.0.0/cudd/cuddInteract.c | 395 + cudd-3.0.0/cudd/cuddLCache.c | 1462 ++ cudd-3.0.0/cudd/cuddLevelQ.c | 547 + cudd-3.0.0/cudd/cuddLinear.c | 1297 + cudd-3.0.0/cudd/cuddLiteral.c | 255 + cudd-3.0.0/cudd/cuddMatMult.c | 694 + cudd-3.0.0/cudd/cuddPriority.c | 1996 ++ cudd-3.0.0/cudd/cuddRead.c | 537 + cudd-3.0.0/cudd/cuddRef.c | 756 + cudd-3.0.0/cudd/cuddReorder.c | 2066 ++ cudd-3.0.0/cudd/cuddSat.c | 1730 ++ cudd-3.0.0/cudd/cuddSign.c | 282 + cudd-3.0.0/cudd/cuddSolve.c | 346 + cudd-3.0.0/cudd/cuddSplit.c | 660 + cudd-3.0.0/cudd/cuddSubsetHB.c | 1310 + cudd-3.0.0/cudd/cuddSubsetSP.c | 1606 ++ cudd-3.0.0/cudd/cuddSymmetry.c | 1670 ++ cudd-3.0.0/cudd/cuddTable.c | 3214 +++ cudd-3.0.0/cudd/cuddUtil.c | 4188 ++++ cudd-3.0.0/cudd/cuddWindow.c | 986 + cudd-3.0.0/cudd/cuddZddCount.c | 308 + cudd-3.0.0/cudd/cuddZddFuncs.c | 1549 ++ cudd-3.0.0/cudd/cuddZddGroup.c | 1302 + cudd-3.0.0/cudd/cuddZddIsop.c | 890 + cudd-3.0.0/cudd/cuddZddLin.c | 925 + cudd-3.0.0/cudd/cuddZddMisc.c | 233 + cudd-3.0.0/cudd/cuddZddPort.c | 357 + cudd-3.0.0/cudd/cuddZddReord.c | 1580 ++ cudd-3.0.0/cudd/cuddZddSetop.c | 1080 + cudd-3.0.0/cudd/cuddZddSymm.c | 1639 ++ cudd-3.0.0/cudd/cuddZddUtil.c | 1127 + cudd-3.0.0/cudd/extra.out | 82 + cudd-3.0.0/cudd/r7x8.1.mat | 53 + cudd-3.0.0/cudd/r7x8.1.out | 390 + cudd-3.0.0/cudd/test_cudd.test.in | 64 + cudd-3.0.0/cudd/testcudd.c | 1134 + cudd-3.0.0/cudd/testextra.c | 578 + cudd-3.0.0/dddmp/Included.am | 51 + cudd-3.0.0/dddmp/README.dddmp | 64 + cudd-3.0.0/dddmp/README.testdddmp | 79 + cudd-3.0.0/dddmp/RELEASE_NOTES | 60 + cudd-3.0.0/dddmp/dddmp.h | 330 + cudd-3.0.0/dddmp/dddmpBinary.c | 343 + cudd-3.0.0/dddmp/dddmpConvert.c | 180 + cudd-3.0.0/dddmp/dddmpDbg.c | 167 + cudd-3.0.0/dddmp/dddmpInt.h | 216 + cudd-3.0.0/dddmp/dddmpLoad.c | 1491 ++ cudd-3.0.0/dddmp/dddmpLoadCnf.c | 1084 + cudd-3.0.0/dddmp/dddmpNodeAdd.c | 451 + cudd-3.0.0/dddmp/dddmpNodeBdd.c | 452 + cudd-3.0.0/dddmp/dddmpNodeCnf.c | 931 + cudd-3.0.0/dddmp/dddmpStoreAdd.c | 944 + cudd-3.0.0/dddmp/dddmpStoreBdd.c | 1117 + cudd-3.0.0/dddmp/dddmpStoreCnf.c | 1578 ++ cudd-3.0.0/dddmp/dddmpStoreMisc.c | 1522 ++ cudd-3.0.0/dddmp/dddmpUtil.c | 436 + cudd-3.0.0/dddmp/doc/cmdIndex.html | 9 + cudd-3.0.0/dddmp/doc/commands.html | 12 + cudd-3.0.0/dddmp/doc/credit.html | 15 + cudd-3.0.0/dddmp/doc/dddmp-2.0-A4.ps | 1261 + cudd-3.0.0/dddmp/doc/dddmp-2.0-Letter.ps | 1260 + cudd-3.0.0/dddmp/doc/dddmpAllAbs.html | 483 + cudd-3.0.0/dddmp/doc/dddmpAllByFile.html | 13 + cudd-3.0.0/dddmp/doc/dddmpAllByFunc.html | 13 + cudd-3.0.0/dddmp/doc/dddmpAllDet.html | 3704 +++ cudd-3.0.0/dddmp/doc/dddmpAllFile.html | 679 + cudd-3.0.0/dddmp/doc/dddmpDesc.html | 28 + cudd-3.0.0/dddmp/doc/dddmpDoc.txt | Bin 0 -> 32768 bytes cudd-3.0.0/dddmp/doc/dddmpExt.html | 13 + cudd-3.0.0/dddmp/doc/dddmpExtAbs.html | 91 + cudd-3.0.0/dddmp/doc/dddmpExtDet.html | 693 + cudd-3.0.0/dddmp/doc/dddmpTitle.html | 17 + cudd-3.0.0/dddmp/doc/packages.html | 12 + cudd-3.0.0/dddmp/doc/pkgIndex.html | 13 + cudd-3.0.0/dddmp/exp/0.add | 21 + cudd-3.0.0/dddmp/exp/0.bdd | 19 + cudd-3.0.0/dddmp/exp/0or1.bdd | 119 + cudd-3.0.0/dddmp/exp/1.add | 28 + cudd-3.0.0/dddmp/exp/1.bdd | 110 + cudd-3.0.0/dddmp/exp/2.bdd | 118 + cudd-3.0.0/dddmp/exp/2and3.bdd | 76 + cudd-3.0.0/dddmp/exp/3.bdd | 304 + cudd-3.0.0/dddmp/exp/4.bdd | 50 + cudd-3.0.0/dddmp/exp/4.bdd.bis1 | 50 + cudd-3.0.0/dddmp/exp/4.bdd.bis2 | 50 + cudd-3.0.0/dddmp/exp/4.bdd.bis3 | 50 + cudd-3.0.0/dddmp/exp/4.bdd.bis4 | 50 + cudd-3.0.0/dddmp/exp/4.cnf | 130 + cudd-3.0.0/dddmp/exp/4.cnf.bis | 130 + cudd-3.0.0/dddmp/exp/4.max1 | 125 + cudd-3.0.0/dddmp/exp/4.max2 | 125 + cudd-3.0.0/dddmp/exp/4bis.bdd | 47 + cudd-3.0.0/dddmp/exp/4xor5.bdd | 120 + cudd-3.0.0/dddmp/exp/5.bdd | 31 + cudd-3.0.0/dddmp/exp/composeids.txt | 20 + cudd-3.0.0/dddmp/exp/one.bdd | 13 + cudd-3.0.0/dddmp/exp/s27RP1.bdd | 18 + cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd | 31 + cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd.bis | 31 + cudd-3.0.0/dddmp/exp/s27deltaDddmp2.bdd | 32 + cudd-3.0.0/dddmp/exp/test1.sh.in | 33 + cudd-3.0.0/dddmp/exp/test2.sh.in | 39 + cudd-3.0.0/dddmp/exp/test3.sh.in | 80 + cudd-3.0.0/dddmp/exp/test4.sh.in | 67 + cudd-3.0.0/dddmp/exp/test5.sh.in | 52 + cudd-3.0.0/dddmp/exp/test6.sh.in | 61 + cudd-3.0.0/dddmp/exp/test7.sh.in | 171 + cudd-3.0.0/dddmp/exp/varauxids.ord | 50 + cudd-3.0.0/dddmp/exp/varnames.ord | 50 + cudd-3.0.0/dddmp/exp/zero.bdd | 13 + cudd-3.0.0/dddmp/test_dddmp.test.in | 17 + cudd-3.0.0/dddmp/testdddmp.c | 2291 ++ cudd-3.0.0/doc/Included.am | 19 + cudd-3.0.0/doc/cudd.tex.in | 2090 ++ cudd-3.0.0/doc/phase.pdf | Bin 0 -> 17981 bytes cudd-3.0.0/epd/Included.am | 1 + cudd-3.0.0/epd/epd.c | 1053 + cudd-3.0.0/epd/epd.h | 112 + cudd-3.0.0/epd/epdInt.h | 146 + cudd-3.0.0/groups.dox | 33 + cudd-3.0.0/m4/libtool.m4 | 7997 +++++++ cudd-3.0.0/m4/ltoptions.m4 | 384 + cudd-3.0.0/m4/ltsugar.m4 | 123 + cudd-3.0.0/m4/ltversion.m4 | 23 + cudd-3.0.0/m4/lt~obsolete.m4 | 98 + cudd-3.0.0/m4/modern_cxx.m4 | 15 + cudd-3.0.0/m4/w32.m4 | 12 + cudd-3.0.0/mtr/Included.am | 19 + cudd-3.0.0/mtr/mtr.h | 134 + cudd-3.0.0/mtr/mtrBasic.c | 398 + cudd-3.0.0/mtr/mtrGroup.c | 842 + cudd-3.0.0/mtr/mtrInt.h | 144 + cudd-3.0.0/mtr/test.groups | 5 + cudd-3.0.0/mtr/test.out | 59 + cudd-3.0.0/mtr/test_mtr.test.in | 36 + cudd-3.0.0/mtr/testmtr.c | 287 + cudd-3.0.0/nanotrav/C17.blif | 16 + cudd-3.0.0/nanotrav/C17.out | 95 + cudd-3.0.0/nanotrav/C880.blif | 770 + cudd-3.0.0/nanotrav/C880.out | 95 + cudd-3.0.0/nanotrav/Included.am | 37 + cudd-3.0.0/nanotrav/README | 36 + cudd-3.0.0/nanotrav/adj49.blif | 286 + cudd-3.0.0/nanotrav/adj49.out | 147 + cudd-3.0.0/nanotrav/bnet.c | 2231 ++ cudd-3.0.0/nanotrav/bnet.h | 191 + cudd-3.0.0/nanotrav/chkMterm.c | 216 + cudd-3.0.0/nanotrav/closest.blif | 11 + cudd-3.0.0/nanotrav/closest.out | 133 + cudd-3.0.0/nanotrav/ham01.blif | 42 + cudd-3.0.0/nanotrav/ham01.out | 83 + cudd-3.0.0/nanotrav/main.c | 1365 ++ cudd-3.0.0/nanotrav/miniFirst.blif | 10 + cudd-3.0.0/nanotrav/miniFirst.out | 98 + cudd-3.0.0/nanotrav/miniSecond.blif | 8 + cudd-3.0.0/nanotrav/mult32a.blif | 745 + cudd-3.0.0/nanotrav/mult32a.out | 252 + cudd-3.0.0/nanotrav/nanotrav.1 | 379 + cudd-3.0.0/nanotrav/ntr.c | 2957 +++ cudd-3.0.0/nanotrav/ntr.h | 281 + cudd-3.0.0/nanotrav/ntrBddTest.c | 2253 ++ cudd-3.0.0/nanotrav/ntrHeap.c | 401 + cudd-3.0.0/nanotrav/ntrMflow.c | 1555 ++ cudd-3.0.0/nanotrav/ntrShort.c | 556 + cudd-3.0.0/nanotrav/ntrZddTest.c | 456 + cudd-3.0.0/nanotrav/rcn25.blif | 335 + cudd-3.0.0/nanotrav/rcn25.out | 515 + cudd-3.0.0/nanotrav/s27.blif | 30 + cudd-3.0.0/nanotrav/s27.out | 92 + cudd-3.0.0/nanotrav/s27b.blif | 22 + cudd-3.0.0/nanotrav/s27b.out | 83 + cudd-3.0.0/nanotrav/s27c.blif | 14 + cudd-3.0.0/nanotrav/s27c.out | 101 + cudd-3.0.0/nanotrav/s382.blif | 414 + cudd-3.0.0/nanotrav/s382.out | 3251 +++ cudd-3.0.0/nanotrav/s641.blif | 809 + cudd-3.0.0/nanotrav/s641.out | 1399 ++ cudd-3.0.0/nanotrav/test_ntrv.test.in | 81 + cudd-3.0.0/st/Included.am | 16 + cudd-3.0.0/st/st.c | 1198 + cudd-3.0.0/st/st.h | 269 + cudd-3.0.0/st/test_st.test.in | 8 + cudd-3.0.0/st/testst.c | 375 + cudd-3.0.0/util/Included.am | 9 + cudd-3.0.0/util/cpu_stats.c | 239 + cudd-3.0.0/util/cpu_time.c | 136 + cudd-3.0.0/util/cstringstream.c | 195 + cudd-3.0.0/util/cstringstream.h | 162 + cudd-3.0.0/util/datalimit.c | 112 + cudd-3.0.0/util/pathsearch.c | 167 + cudd-3.0.0/util/pipefork.c | 161 + cudd-3.0.0/util/prtime.c | 80 + cudd-3.0.0/util/safe_mem.c | 128 + cudd-3.0.0/util/strsav.c | 74 + cudd-3.0.0/util/texpand.c | 120 + cudd-3.0.0/util/ucbqsort.c | 308 + cudd-3.0.0/util/util.h | 230 + examples/.DS_Store | Bin 0 -> 6148 bytes examples/bdd/dcdc2/dcdc | Bin 0 -> 81660 bytes examples/bdd/dcdc2/dcdc.o | Bin 0 -> 80308 bytes examples/hscc16/.DS_Store | Bin 0 -> 6148 bytes examples/hscc16/vehicle1/vehicle | Bin 0 -> 86324 bytes examples/hscc16/vehicle1/vehicle.o | Bin 0 -> 87060 bytes .../hscc16/vehicle1/vehicle_controller.bdd | Bin 0 -> 32708 bytes examples/hscc16/vehicle1/vehicle_obst.bdd | Bin 0 -> 961 bytes examples/hscc16/vehicle1/vehicle_ss.bdd | Bin 0 -> 797 bytes examples/hscc16/vehicle1/vehicle_target.bdd | Bin 0 -> 785 bytes utils/.DS_Store | Bin 0 -> 6148 bytes 269 files changed, 191730 insertions(+) create mode 100644 .DS_Store create mode 100644 cudd-3.0.0/Doxyfile.in create mode 100644 cudd-3.0.0/LICENSE create mode 100644 cudd-3.0.0/Makefile.am create mode 100644 cudd-3.0.0/Makefile.in create mode 100644 cudd-3.0.0/README create mode 100644 cudd-3.0.0/RELEASE.NOTES create mode 100644 cudd-3.0.0/aclocal.m4 create mode 100755 cudd-3.0.0/build-aux/ar-lib create mode 100755 cudd-3.0.0/build-aux/compile create mode 100755 cudd-3.0.0/build-aux/config.guess create mode 100755 cudd-3.0.0/build-aux/config.sub create mode 100755 cudd-3.0.0/build-aux/depcomp create mode 100755 cudd-3.0.0/build-aux/install-sh create mode 100644 cudd-3.0.0/build-aux/ltmain.sh create mode 100755 cudd-3.0.0/build-aux/missing create mode 100755 cudd-3.0.0/build-aux/tap-driver.sh create mode 100644 cudd-3.0.0/config.h.in create mode 100755 cudd-3.0.0/configure create mode 100644 cudd-3.0.0/configure.ac create mode 100644 cudd-3.0.0/cplusplus/Included.am create mode 100644 cudd-3.0.0/cplusplus/cuddObj.cc create mode 100644 cudd-3.0.0/cplusplus/cuddObj.hh create mode 100644 cudd-3.0.0/cplusplus/multi.out create mode 100644 cudd-3.0.0/cplusplus/test.out create mode 100644 cudd-3.0.0/cplusplus/test_obj.test.in create mode 100644 cudd-3.0.0/cplusplus/testmulti.cc create mode 100644 cudd-3.0.0/cplusplus/testobj.cc create mode 100644 cudd-3.0.0/cudd/Included.am create mode 100644 cudd-3.0.0/cudd/cudd.h create mode 100644 cudd-3.0.0/cudd/cuddAPI.c create mode 100644 cudd-3.0.0/cudd/cuddAddAbs.c create mode 100644 cudd-3.0.0/cudd/cuddAddApply.c create mode 100644 cudd-3.0.0/cudd/cuddAddFind.c create mode 100644 cudd-3.0.0/cudd/cuddAddInv.c create mode 100644 cudd-3.0.0/cudd/cuddAddIte.c create mode 100644 cudd-3.0.0/cudd/cuddAddNeg.c create mode 100644 cudd-3.0.0/cudd/cuddAddWalsh.c create mode 100644 cudd-3.0.0/cudd/cuddAndAbs.c create mode 100644 cudd-3.0.0/cudd/cuddAnneal.c create mode 100644 cudd-3.0.0/cudd/cuddApa.c create mode 100644 cudd-3.0.0/cudd/cuddApprox.c create mode 100644 cudd-3.0.0/cudd/cuddBddAbs.c create mode 100644 cudd-3.0.0/cudd/cuddBddCorr.c create mode 100644 cudd-3.0.0/cudd/cuddBddIte.c create mode 100644 cudd-3.0.0/cudd/cuddBridge.c create mode 100644 cudd-3.0.0/cudd/cuddCache.c create mode 100644 cudd-3.0.0/cudd/cuddCheck.c create mode 100644 cudd-3.0.0/cudd/cuddClip.c create mode 100644 cudd-3.0.0/cudd/cuddCof.c create mode 100644 cudd-3.0.0/cudd/cuddCompose.c create mode 100644 cudd-3.0.0/cudd/cuddDecomp.c create mode 100644 cudd-3.0.0/cudd/cuddEssent.c create mode 100644 cudd-3.0.0/cudd/cuddExact.c create mode 100644 cudd-3.0.0/cudd/cuddExport.c create mode 100644 cudd-3.0.0/cudd/cuddGenCof.c create mode 100644 cudd-3.0.0/cudd/cuddGenetic.c create mode 100644 cudd-3.0.0/cudd/cuddGroup.c create mode 100644 cudd-3.0.0/cudd/cuddHarwell.c create mode 100644 cudd-3.0.0/cudd/cuddInit.c create mode 100644 cudd-3.0.0/cudd/cuddInt.h create mode 100644 cudd-3.0.0/cudd/cuddInteract.c create mode 100644 cudd-3.0.0/cudd/cuddLCache.c create mode 100644 cudd-3.0.0/cudd/cuddLevelQ.c create mode 100644 cudd-3.0.0/cudd/cuddLinear.c create mode 100644 cudd-3.0.0/cudd/cuddLiteral.c create mode 100644 cudd-3.0.0/cudd/cuddMatMult.c create mode 100644 cudd-3.0.0/cudd/cuddPriority.c create mode 100644 cudd-3.0.0/cudd/cuddRead.c create mode 100644 cudd-3.0.0/cudd/cuddRef.c create mode 100644 cudd-3.0.0/cudd/cuddReorder.c create mode 100644 cudd-3.0.0/cudd/cuddSat.c create mode 100644 cudd-3.0.0/cudd/cuddSign.c create mode 100644 cudd-3.0.0/cudd/cuddSolve.c create mode 100644 cudd-3.0.0/cudd/cuddSplit.c create mode 100644 cudd-3.0.0/cudd/cuddSubsetHB.c create mode 100644 cudd-3.0.0/cudd/cuddSubsetSP.c create mode 100644 cudd-3.0.0/cudd/cuddSymmetry.c create mode 100644 cudd-3.0.0/cudd/cuddTable.c create mode 100644 cudd-3.0.0/cudd/cuddUtil.c create mode 100644 cudd-3.0.0/cudd/cuddWindow.c create mode 100644 cudd-3.0.0/cudd/cuddZddCount.c create mode 100644 cudd-3.0.0/cudd/cuddZddFuncs.c create mode 100644 cudd-3.0.0/cudd/cuddZddGroup.c create mode 100644 cudd-3.0.0/cudd/cuddZddIsop.c create mode 100644 cudd-3.0.0/cudd/cuddZddLin.c create mode 100644 cudd-3.0.0/cudd/cuddZddMisc.c create mode 100644 cudd-3.0.0/cudd/cuddZddPort.c create mode 100644 cudd-3.0.0/cudd/cuddZddReord.c create mode 100644 cudd-3.0.0/cudd/cuddZddSetop.c create mode 100644 cudd-3.0.0/cudd/cuddZddSymm.c create mode 100644 cudd-3.0.0/cudd/cuddZddUtil.c create mode 100644 cudd-3.0.0/cudd/extra.out create mode 100644 cudd-3.0.0/cudd/r7x8.1.mat create mode 100644 cudd-3.0.0/cudd/r7x8.1.out create mode 100644 cudd-3.0.0/cudd/test_cudd.test.in create mode 100644 cudd-3.0.0/cudd/testcudd.c create mode 100644 cudd-3.0.0/cudd/testextra.c create mode 100644 cudd-3.0.0/dddmp/Included.am create mode 100644 cudd-3.0.0/dddmp/README.dddmp create mode 100644 cudd-3.0.0/dddmp/README.testdddmp create mode 100644 cudd-3.0.0/dddmp/RELEASE_NOTES create mode 100644 cudd-3.0.0/dddmp/dddmp.h create mode 100644 cudd-3.0.0/dddmp/dddmpBinary.c create mode 100644 cudd-3.0.0/dddmp/dddmpConvert.c create mode 100644 cudd-3.0.0/dddmp/dddmpDbg.c create mode 100644 cudd-3.0.0/dddmp/dddmpInt.h create mode 100644 cudd-3.0.0/dddmp/dddmpLoad.c create mode 100644 cudd-3.0.0/dddmp/dddmpLoadCnf.c create mode 100644 cudd-3.0.0/dddmp/dddmpNodeAdd.c create mode 100644 cudd-3.0.0/dddmp/dddmpNodeBdd.c create mode 100644 cudd-3.0.0/dddmp/dddmpNodeCnf.c create mode 100644 cudd-3.0.0/dddmp/dddmpStoreAdd.c create mode 100644 cudd-3.0.0/dddmp/dddmpStoreBdd.c create mode 100644 cudd-3.0.0/dddmp/dddmpStoreCnf.c create mode 100644 cudd-3.0.0/dddmp/dddmpStoreMisc.c create mode 100644 cudd-3.0.0/dddmp/dddmpUtil.c create mode 100644 cudd-3.0.0/dddmp/doc/cmdIndex.html create mode 100644 cudd-3.0.0/dddmp/doc/commands.html create mode 100644 cudd-3.0.0/dddmp/doc/credit.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmp-2.0-A4.ps create mode 100644 cudd-3.0.0/dddmp/doc/dddmp-2.0-Letter.ps create mode 100644 cudd-3.0.0/dddmp/doc/dddmpAllAbs.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpAllByFile.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpAllByFunc.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpAllDet.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpAllFile.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpDesc.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpDoc.txt create mode 100644 cudd-3.0.0/dddmp/doc/dddmpExt.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpExtAbs.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpExtDet.html create mode 100644 cudd-3.0.0/dddmp/doc/dddmpTitle.html create mode 100644 cudd-3.0.0/dddmp/doc/packages.html create mode 100644 cudd-3.0.0/dddmp/doc/pkgIndex.html create mode 100644 cudd-3.0.0/dddmp/exp/0.add create mode 100644 cudd-3.0.0/dddmp/exp/0.bdd create mode 100644 cudd-3.0.0/dddmp/exp/0or1.bdd create mode 100644 cudd-3.0.0/dddmp/exp/1.add create mode 100644 cudd-3.0.0/dddmp/exp/1.bdd create mode 100644 cudd-3.0.0/dddmp/exp/2.bdd create mode 100644 cudd-3.0.0/dddmp/exp/2and3.bdd create mode 100644 cudd-3.0.0/dddmp/exp/3.bdd create mode 100644 cudd-3.0.0/dddmp/exp/4.bdd create mode 100644 cudd-3.0.0/dddmp/exp/4.bdd.bis1 create mode 100644 cudd-3.0.0/dddmp/exp/4.bdd.bis2 create mode 100644 cudd-3.0.0/dddmp/exp/4.bdd.bis3 create mode 100644 cudd-3.0.0/dddmp/exp/4.bdd.bis4 create mode 100644 cudd-3.0.0/dddmp/exp/4.cnf create mode 100644 cudd-3.0.0/dddmp/exp/4.cnf.bis create mode 100644 cudd-3.0.0/dddmp/exp/4.max1 create mode 100644 cudd-3.0.0/dddmp/exp/4.max2 create mode 100644 cudd-3.0.0/dddmp/exp/4bis.bdd create mode 100644 cudd-3.0.0/dddmp/exp/4xor5.bdd create mode 100644 cudd-3.0.0/dddmp/exp/5.bdd create mode 100644 cudd-3.0.0/dddmp/exp/composeids.txt create mode 100644 cudd-3.0.0/dddmp/exp/one.bdd create mode 100644 cudd-3.0.0/dddmp/exp/s27RP1.bdd create mode 100644 cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd create mode 100644 cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd.bis create mode 100644 cudd-3.0.0/dddmp/exp/s27deltaDddmp2.bdd create mode 100644 cudd-3.0.0/dddmp/exp/test1.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/test2.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/test3.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/test4.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/test5.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/test6.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/test7.sh.in create mode 100644 cudd-3.0.0/dddmp/exp/varauxids.ord create mode 100644 cudd-3.0.0/dddmp/exp/varnames.ord create mode 100644 cudd-3.0.0/dddmp/exp/zero.bdd create mode 100644 cudd-3.0.0/dddmp/test_dddmp.test.in create mode 100644 cudd-3.0.0/dddmp/testdddmp.c create mode 100644 cudd-3.0.0/doc/Included.am create mode 100644 cudd-3.0.0/doc/cudd.tex.in create mode 100644 cudd-3.0.0/doc/phase.pdf create mode 100644 cudd-3.0.0/epd/Included.am create mode 100644 cudd-3.0.0/epd/epd.c create mode 100644 cudd-3.0.0/epd/epd.h create mode 100644 cudd-3.0.0/epd/epdInt.h create mode 100644 cudd-3.0.0/groups.dox create mode 100644 cudd-3.0.0/m4/libtool.m4 create mode 100644 cudd-3.0.0/m4/ltoptions.m4 create mode 100644 cudd-3.0.0/m4/ltsugar.m4 create mode 100644 cudd-3.0.0/m4/ltversion.m4 create mode 100644 cudd-3.0.0/m4/lt~obsolete.m4 create mode 100644 cudd-3.0.0/m4/modern_cxx.m4 create mode 100644 cudd-3.0.0/m4/w32.m4 create mode 100644 cudd-3.0.0/mtr/Included.am create mode 100644 cudd-3.0.0/mtr/mtr.h create mode 100644 cudd-3.0.0/mtr/mtrBasic.c create mode 100644 cudd-3.0.0/mtr/mtrGroup.c create mode 100644 cudd-3.0.0/mtr/mtrInt.h create mode 100644 cudd-3.0.0/mtr/test.groups create mode 100644 cudd-3.0.0/mtr/test.out create mode 100644 cudd-3.0.0/mtr/test_mtr.test.in create mode 100644 cudd-3.0.0/mtr/testmtr.c create mode 100644 cudd-3.0.0/nanotrav/C17.blif create mode 100644 cudd-3.0.0/nanotrav/C17.out create mode 100644 cudd-3.0.0/nanotrav/C880.blif create mode 100644 cudd-3.0.0/nanotrav/C880.out create mode 100644 cudd-3.0.0/nanotrav/Included.am create mode 100644 cudd-3.0.0/nanotrav/README create mode 100644 cudd-3.0.0/nanotrav/adj49.blif create mode 100644 cudd-3.0.0/nanotrav/adj49.out create mode 100644 cudd-3.0.0/nanotrav/bnet.c create mode 100644 cudd-3.0.0/nanotrav/bnet.h create mode 100644 cudd-3.0.0/nanotrav/chkMterm.c create mode 100644 cudd-3.0.0/nanotrav/closest.blif create mode 100644 cudd-3.0.0/nanotrav/closest.out create mode 100644 cudd-3.0.0/nanotrav/ham01.blif create mode 100644 cudd-3.0.0/nanotrav/ham01.out create mode 100644 cudd-3.0.0/nanotrav/main.c create mode 100644 cudd-3.0.0/nanotrav/miniFirst.blif create mode 100644 cudd-3.0.0/nanotrav/miniFirst.out create mode 100644 cudd-3.0.0/nanotrav/miniSecond.blif create mode 100644 cudd-3.0.0/nanotrav/mult32a.blif create mode 100644 cudd-3.0.0/nanotrav/mult32a.out create mode 100644 cudd-3.0.0/nanotrav/nanotrav.1 create mode 100644 cudd-3.0.0/nanotrav/ntr.c create mode 100644 cudd-3.0.0/nanotrav/ntr.h create mode 100644 cudd-3.0.0/nanotrav/ntrBddTest.c create mode 100644 cudd-3.0.0/nanotrav/ntrHeap.c create mode 100644 cudd-3.0.0/nanotrav/ntrMflow.c create mode 100644 cudd-3.0.0/nanotrav/ntrShort.c create mode 100644 cudd-3.0.0/nanotrav/ntrZddTest.c create mode 100644 cudd-3.0.0/nanotrav/rcn25.blif create mode 100644 cudd-3.0.0/nanotrav/rcn25.out create mode 100644 cudd-3.0.0/nanotrav/s27.blif create mode 100644 cudd-3.0.0/nanotrav/s27.out create mode 100644 cudd-3.0.0/nanotrav/s27b.blif create mode 100644 cudd-3.0.0/nanotrav/s27b.out create mode 100644 cudd-3.0.0/nanotrav/s27c.blif create mode 100644 cudd-3.0.0/nanotrav/s27c.out create mode 100644 cudd-3.0.0/nanotrav/s382.blif create mode 100644 cudd-3.0.0/nanotrav/s382.out create mode 100644 cudd-3.0.0/nanotrav/s641.blif create mode 100644 cudd-3.0.0/nanotrav/s641.out create mode 100644 cudd-3.0.0/nanotrav/test_ntrv.test.in create mode 100644 cudd-3.0.0/st/Included.am create mode 100644 cudd-3.0.0/st/st.c create mode 100644 cudd-3.0.0/st/st.h create mode 100644 cudd-3.0.0/st/test_st.test.in create mode 100644 cudd-3.0.0/st/testst.c create mode 100644 cudd-3.0.0/util/Included.am create mode 100644 cudd-3.0.0/util/cpu_stats.c create mode 100644 cudd-3.0.0/util/cpu_time.c create mode 100644 cudd-3.0.0/util/cstringstream.c create mode 100644 cudd-3.0.0/util/cstringstream.h create mode 100644 cudd-3.0.0/util/datalimit.c create mode 100644 cudd-3.0.0/util/pathsearch.c create mode 100644 cudd-3.0.0/util/pipefork.c create mode 100644 cudd-3.0.0/util/prtime.c create mode 100644 cudd-3.0.0/util/safe_mem.c create mode 100644 cudd-3.0.0/util/strsav.c create mode 100644 cudd-3.0.0/util/texpand.c create mode 100644 cudd-3.0.0/util/ucbqsort.c create mode 100644 cudd-3.0.0/util/util.h create mode 100644 examples/.DS_Store create mode 100755 examples/bdd/dcdc2/dcdc create mode 100644 examples/bdd/dcdc2/dcdc.o create mode 100644 examples/hscc16/.DS_Store create mode 100755 examples/hscc16/vehicle1/vehicle create mode 100644 examples/hscc16/vehicle1/vehicle.o create mode 100644 examples/hscc16/vehicle1/vehicle_controller.bdd create mode 100644 examples/hscc16/vehicle1/vehicle_obst.bdd create mode 100644 examples/hscc16/vehicle1/vehicle_ss.bdd create mode 100644 examples/hscc16/vehicle1/vehicle_target.bdd create mode 100644 utils/.DS_Store diff --git a/.DS_Store b/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..8af09c77b97173b16713cd0a39989cfa9e4e1254 GIT binary patch literal 6148 zcmeHK%}T>S5T4bli6ZtO*yCQj<&dB@Cn3~&@Fqm`pwcF^Xdq2WlUlV#@*4U^K7p^} z%jC)%CqJ$%82A4n%O&>Ee{LlPKw=qeePR zI+<907J+j!b?nCVN*qcYjMZj`85UaQv8(sD^VI}g#mR`jFnkQ zSm&u3&