├── .gitignore ├── Makefile ├── PEC_benchmarks ├── CCCX_1.qasm ├── CCCX_2.qasm ├── CCCX_2_err.qasm ├── CCCX_3.qasm ├── CCCX_3_err.qasm ├── CCCX_4_care.careset ├── CCCX_4_care.qasm ├── Dis_cut.qasm ├── Dis_cut.weight ├── Dis_cut_2.qasm ├── Dis_cut_2.weight ├── Dis_original.qasm ├── Dis_original.weight ├── Dis_original_2.qasm ├── ExpVal.weight ├── ExpVal_1.qasm ├── ExpVal_2.qasm ├── ExpVal_2_err.qasm ├── ExpVal_3.qasm ├── Grover.careset ├── Grover_1.qasm ├── Grover_2.qasm ├── Grover_3.qasm ├── Grover_4.qasm ├── Grover_5.qasm ├── PF_3xmod5.qasm ├── PF_3xmod5_2.qasm ├── PF_3xmod5_sft.qasm ├── PF_3xmod5_sft_2.qasm ├── PF_3xmod5_sft_err.qasm ├── PF_3xmod7.qasm ├── PF_3xmod7_2.qasm ├── RUS_T.careset ├── RUS_T.qasm ├── RUS_T_1.qasm ├── RUS_T_err.qasm ├── RUS_V3.careset ├── RUS_V3_1.qasm ├── RUS_V3_2.qasm ├── nestedif2_16_396.qasm ├── nestedif2_16_468.qasm ├── scalibility │ ├── bv_10_a.qasm │ ├── bv_10_b.qasm │ ├── bv_11_a.qasm │ ├── bv_11_b.qasm │ ├── bv_12_a.qasm │ ├── bv_12_b.qasm │ ├── bv_13_a.qasm │ ├── bv_13_b.qasm │ ├── bv_14_a.qasm │ ├── bv_14_b.qasm │ ├── bv_15_a.qasm │ ├── bv_15_b.qasm │ ├── bv_16_a.qasm │ ├── bv_16_b.qasm │ ├── bv_17_a.qasm │ ├── bv_17_b.qasm │ ├── bv_18_a.qasm │ ├── bv_18_b.qasm │ ├── bv_19_a.qasm │ ├── bv_19_b.qasm │ ├── bv_20_a.qasm │ ├── bv_20_b.qasm │ ├── bv_5_a.qasm │ ├── bv_5_b.qasm │ ├── bv_6_a.qasm │ ├── bv_6_b.qasm │ ├── bv_7_a.qasm │ ├── bv_7_b.qasm │ ├── bv_8_a.qasm │ ├── bv_8_b.qasm │ ├── bv_9_a.qasm │ ├── bv_9_b.qasm │ ├── random_10_a.qasm │ ├── random_10_b.qasm │ ├── random_11_a.qasm │ ├── random_11_b.qasm │ ├── random_12_a.qasm │ ├── random_12_b.qasm │ ├── random_13_a.qasm │ ├── random_13_b.qasm │ ├── random_14_a.qasm │ ├── random_14_b.qasm │ ├── random_15_a.qasm │ ├── random_15_b.qasm │ ├── random_16_a.qasm │ ├── random_16_b.qasm │ ├── random_17_a.qasm │ ├── random_17_b.qasm │ ├── random_18_a.qasm │ ├── random_18_b.qasm │ ├── random_19_a.qasm │ ├── random_19_b.qasm │ ├── random_20_a.qasm │ ├── random_20_b.qasm │ ├── random_5_a.qasm │ ├── random_5_b.qasm │ ├── random_6_a.qasm │ ├── random_6_b.qasm │ ├── random_7_a.qasm │ ├── random_7_b.qasm │ ├── random_8_a.qasm │ ├── random_8_b.qasm │ ├── random_9_a.qasm │ └── random_9_b.qasm ├── urf1_149.qasm ├── urf5_158.qasm └── urf5_159.qasm ├── README.md ├── cudd ├── Doxyfile.in ├── LICENSE ├── Makefile ├── Makefile.am ├── Makefile.in ├── README ├── RELEASE.NOTES ├── aclocal.m4 ├── autom4te.cache │ ├── output.0 │ ├── output.1 │ ├── output.2 │ ├── requests │ ├── traces.0 │ ├── traces.1 │ └── traces.2 ├── build-aux │ ├── ar-lib │ ├── compile │ ├── config.guess │ ├── config.sub │ ├── depcomp │ ├── install-sh │ ├── ltmain.sh │ ├── missing │ └── tap-driver.sh ├── config.h ├── config.h.in ├── config.log ├── config.status ├── configure ├── configure.ac ├── cplusplus │ ├── Included.am │ ├── cuddObj.cc │ ├── cuddObj.hh │ ├── cudd_libcudd_la-cuddObj.lo │ ├── cudd_libcudd_la-cuddObj.o │ ├── 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 │ ├── libcudd.la │ ├── libcudd_la-cuddAPI.lo │ ├── libcudd_la-cuddAPI.o │ ├── libcudd_la-cuddAddAbs.lo │ ├── libcudd_la-cuddAddAbs.o │ ├── libcudd_la-cuddAddApply.lo │ ├── libcudd_la-cuddAddApply.o │ ├── libcudd_la-cuddAddFind.lo │ ├── libcudd_la-cuddAddFind.o │ ├── libcudd_la-cuddAddInv.lo │ ├── libcudd_la-cuddAddInv.o │ ├── libcudd_la-cuddAddIte.lo │ ├── libcudd_la-cuddAddIte.o │ ├── libcudd_la-cuddAddNeg.lo │ ├── libcudd_la-cuddAddNeg.o │ ├── libcudd_la-cuddAddWalsh.lo │ ├── libcudd_la-cuddAddWalsh.o │ ├── libcudd_la-cuddAndAbs.lo │ ├── libcudd_la-cuddAndAbs.o │ ├── libcudd_la-cuddAnneal.lo │ ├── libcudd_la-cuddAnneal.o │ ├── libcudd_la-cuddApa.lo │ ├── libcudd_la-cuddApa.o │ ├── libcudd_la-cuddApprox.lo │ ├── libcudd_la-cuddApprox.o │ ├── libcudd_la-cuddBddAbs.lo │ ├── libcudd_la-cuddBddAbs.o │ ├── libcudd_la-cuddBddCorr.lo │ ├── libcudd_la-cuddBddCorr.o │ ├── libcudd_la-cuddBddIte.lo │ ├── libcudd_la-cuddBddIte.o │ ├── libcudd_la-cuddBridge.lo │ ├── libcudd_la-cuddBridge.o │ ├── libcudd_la-cuddCache.lo │ ├── libcudd_la-cuddCache.o │ ├── libcudd_la-cuddCheck.lo │ ├── libcudd_la-cuddCheck.o │ ├── libcudd_la-cuddClip.lo │ ├── libcudd_la-cuddClip.o │ ├── libcudd_la-cuddCof.lo │ ├── libcudd_la-cuddCof.o │ ├── libcudd_la-cuddCompose.lo │ ├── libcudd_la-cuddCompose.o │ ├── libcudd_la-cuddDecomp.lo │ ├── libcudd_la-cuddDecomp.o │ ├── libcudd_la-cuddEssent.lo │ ├── libcudd_la-cuddEssent.o │ ├── libcudd_la-cuddExact.lo │ ├── libcudd_la-cuddExact.o │ ├── libcudd_la-cuddExport.lo │ ├── libcudd_la-cuddExport.o │ ├── libcudd_la-cuddGenCof.lo │ ├── libcudd_la-cuddGenCof.o │ ├── libcudd_la-cuddGenetic.lo │ ├── libcudd_la-cuddGenetic.o │ ├── libcudd_la-cuddGroup.lo │ ├── libcudd_la-cuddGroup.o │ ├── libcudd_la-cuddHarwell.lo │ ├── libcudd_la-cuddHarwell.o │ ├── libcudd_la-cuddInit.lo │ ├── libcudd_la-cuddInit.o │ ├── libcudd_la-cuddInteract.lo │ ├── libcudd_la-cuddInteract.o │ ├── libcudd_la-cuddLCache.lo │ ├── libcudd_la-cuddLCache.o │ ├── libcudd_la-cuddLevelQ.lo │ ├── libcudd_la-cuddLevelQ.o │ ├── libcudd_la-cuddLinear.lo │ ├── libcudd_la-cuddLinear.o │ ├── libcudd_la-cuddLiteral.lo │ ├── libcudd_la-cuddLiteral.o │ ├── libcudd_la-cuddMatMult.lo │ ├── libcudd_la-cuddMatMult.o │ ├── libcudd_la-cuddPriority.lo │ ├── libcudd_la-cuddPriority.o │ ├── libcudd_la-cuddRead.lo │ ├── libcudd_la-cuddRead.o │ ├── libcudd_la-cuddRef.lo │ ├── libcudd_la-cuddRef.o │ ├── libcudd_la-cuddReorder.lo │ ├── libcudd_la-cuddReorder.o │ ├── libcudd_la-cuddSat.lo │ ├── libcudd_la-cuddSat.o │ ├── libcudd_la-cuddSign.lo │ ├── libcudd_la-cuddSign.o │ ├── libcudd_la-cuddSolve.lo │ ├── libcudd_la-cuddSolve.o │ ├── libcudd_la-cuddSplit.lo │ ├── libcudd_la-cuddSplit.o │ ├── libcudd_la-cuddSubsetHB.lo │ ├── libcudd_la-cuddSubsetHB.o │ ├── libcudd_la-cuddSubsetSP.lo │ ├── libcudd_la-cuddSubsetSP.o │ ├── libcudd_la-cuddSymmetry.lo │ ├── libcudd_la-cuddSymmetry.o │ ├── libcudd_la-cuddTable.lo │ ├── libcudd_la-cuddTable.o │ ├── libcudd_la-cuddUtil.lo │ ├── libcudd_la-cuddUtil.o │ ├── libcudd_la-cuddWindow.lo │ ├── libcudd_la-cuddWindow.o │ ├── libcudd_la-cuddZddCount.lo │ ├── libcudd_la-cuddZddCount.o │ ├── libcudd_la-cuddZddFuncs.lo │ ├── libcudd_la-cuddZddFuncs.o │ ├── libcudd_la-cuddZddGroup.lo │ ├── libcudd_la-cuddZddGroup.o │ ├── libcudd_la-cuddZddIsop.lo │ ├── libcudd_la-cuddZddIsop.o │ ├── libcudd_la-cuddZddLin.lo │ ├── libcudd_la-cuddZddLin.o │ ├── libcudd_la-cuddZddMisc.lo │ ├── libcudd_la-cuddZddMisc.o │ ├── libcudd_la-cuddZddPort.lo │ ├── libcudd_la-cuddZddPort.o │ ├── libcudd_la-cuddZddReord.lo │ ├── libcudd_la-cuddZddReord.o │ ├── libcudd_la-cuddZddSetop.lo │ ├── libcudd_la-cuddZddSetop.o │ ├── libcudd_la-cuddZddSymm.lo │ ├── libcudd_la-cuddZddSymm.o │ ├── libcudd_la-cuddZddUtil.lo │ ├── libcudd_la-cuddZddUtil.o │ ├── r7x8.1.mat │ ├── r7x8.1.out │ ├── test_cudd.test.in │ ├── testcudd.c │ └── testextra.c ├── dddmp │ ├── Included.am │ ├── README.dddmp │ ├── README.testdddmp │ ├── RELEASE_NOTES │ ├── cudd_libcudd_la-dddmpBinary.lo │ ├── cudd_libcudd_la-dddmpBinary.o │ ├── cudd_libcudd_la-dddmpConvert.lo │ ├── cudd_libcudd_la-dddmpConvert.o │ ├── cudd_libcudd_la-dddmpDbg.lo │ ├── cudd_libcudd_la-dddmpDbg.o │ ├── cudd_libcudd_la-dddmpLoad.lo │ ├── cudd_libcudd_la-dddmpLoad.o │ ├── cudd_libcudd_la-dddmpLoadCnf.lo │ ├── cudd_libcudd_la-dddmpLoadCnf.o │ ├── cudd_libcudd_la-dddmpNodeAdd.lo │ ├── cudd_libcudd_la-dddmpNodeAdd.o │ ├── cudd_libcudd_la-dddmpNodeBdd.lo │ ├── cudd_libcudd_la-dddmpNodeBdd.o │ ├── cudd_libcudd_la-dddmpNodeCnf.lo │ ├── cudd_libcudd_la-dddmpNodeCnf.o │ ├── cudd_libcudd_la-dddmpStoreAdd.lo │ ├── cudd_libcudd_la-dddmpStoreAdd.o │ ├── cudd_libcudd_la-dddmpStoreBdd.lo │ ├── cudd_libcudd_la-dddmpStoreBdd.o │ ├── cudd_libcudd_la-dddmpStoreCnf.lo │ ├── cudd_libcudd_la-dddmpStoreCnf.o │ ├── cudd_libcudd_la-dddmpStoreMisc.lo │ ├── cudd_libcudd_la-dddmpStoreMisc.o │ ├── cudd_libcudd_la-dddmpUtil.lo │ ├── cudd_libcudd_la-dddmpUtil.o │ ├── 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 │ │ ├── test1.sh.in │ │ ├── test2.sh │ │ ├── test2.sh.in │ │ ├── test3.sh │ │ ├── test3.sh.in │ │ ├── test4.sh │ │ ├── test4.sh.in │ │ ├── test5.sh │ │ ├── test5.sh.in │ │ ├── test6.sh │ │ ├── test6.sh.in │ │ ├── test7.sh │ │ ├── test7.sh.in │ │ ├── varauxids.ord │ │ ├── varnames.ord │ │ └── zero.bdd │ ├── test_dddmp.test.in │ └── testdddmp.c ├── doc │ ├── Included.am │ ├── cudd.aux │ ├── cudd.idx │ ├── cudd.ilg │ ├── cudd.ind │ ├── cudd.out │ ├── cudd.pdf │ ├── cudd.tex │ ├── cudd.tex.in │ ├── cudd.toc │ └── phase.pdf ├── epd │ ├── Included.am │ ├── cudd_libcudd_la-epd.lo │ ├── cudd_libcudd_la-epd.o │ ├── epd.c │ ├── epd.h │ └── epdInt.h ├── groups.dox ├── libtool ├── m4 │ ├── libtool.m4 │ ├── ltoptions.m4 │ ├── ltsugar.m4 │ ├── ltversion.m4 │ ├── lt~obsolete.m4 │ ├── modern_cxx.m4 │ └── w32.m4 ├── mtr │ ├── Included.am │ ├── cudd_libcudd_la-mtrBasic.lo │ ├── cudd_libcudd_la-mtrBasic.o │ ├── cudd_libcudd_la-mtrGroup.lo │ ├── cudd_libcudd_la-mtrGroup.o │ ├── 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 │ ├── cudd_libcudd_la-st.lo │ ├── cudd_libcudd_la-st.o │ ├── st.c │ ├── st.h │ ├── test_st.test.in │ └── testst.c ├── stamp-h1 └── util │ ├── Included.am │ ├── cpu_stats.c │ ├── cpu_time.c │ ├── cstringstream.c │ ├── cstringstream.h │ ├── cudd_libcudd_la-cpu_stats.lo │ ├── cudd_libcudd_la-cpu_stats.o │ ├── cudd_libcudd_la-cpu_time.lo │ ├── cudd_libcudd_la-cpu_time.o │ ├── cudd_libcudd_la-cstringstream.lo │ ├── cudd_libcudd_la-cstringstream.o │ ├── cudd_libcudd_la-datalimit.lo │ ├── cudd_libcudd_la-datalimit.o │ ├── cudd_libcudd_la-pathsearch.lo │ ├── cudd_libcudd_la-pathsearch.o │ ├── cudd_libcudd_la-pipefork.lo │ ├── cudd_libcudd_la-pipefork.o │ ├── cudd_libcudd_la-prtime.lo │ ├── cudd_libcudd_la-prtime.o │ ├── cudd_libcudd_la-safe_mem.lo │ ├── cudd_libcudd_la-safe_mem.o │ ├── cudd_libcudd_la-strsav.lo │ ├── cudd_libcudd_la-strsav.o │ ├── cudd_libcudd_la-texpand.lo │ ├── cudd_libcudd_la-texpand.o │ ├── cudd_libcudd_la-ucbqsort.lo │ ├── cudd_libcudd_la-ucbqsort.o │ ├── datalimit.c │ ├── pathsearch.c │ ├── pipefork.c │ ├── prtime.c │ ├── safe_mem.c │ ├── strsav.c │ ├── texpand.c │ ├── ucbqsort.c │ └── util.h ├── examples ├── FEC │ ├── add6_196_1.qasm │ ├── add6_196_2.qasm │ ├── bv_1.qasm │ ├── bv_2.qasm │ ├── entanglement_1.qasm │ ├── entanglement_2.qasm │ ├── random_1.qasm │ └── random_2.qasm └── PEC │ ├── Grover_1.qasm │ ├── Grover_2.qasm │ ├── period_finding_1.qasm │ ├── period_finding_2.qasm │ ├── urf1_149.qasm │ └── urf1_150.qasm └── src ├── bddSystem.h ├── eqChecker.cpp ├── eqChecker.h ├── gateOpe.cpp ├── gateType.h ├── main.cpp ├── memMeasure.cpp ├── memMeasure.h ├── misc.cpp └── qasmParser.cpp /.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | SliQEC 3 | *.lo 4 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/Makefile -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/CCCX_1.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/CCCX_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_2_err.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/CCCX_2_err.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_3.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/CCCX_3.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_3_err.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/CCCX_3_err.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_4_care.careset: -------------------------------------------------------------------------------- 1 | not q[0] -------------------------------------------------------------------------------- /PEC_benchmarks/CCCX_4_care.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/CCCX_4_care.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_cut.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Dis_cut.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_cut.weight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Dis_cut.weight -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_cut_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Dis_cut_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_cut_2.weight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Dis_cut_2.weight -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_original.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Dis_original.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_original.weight: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /PEC_benchmarks/Dis_original_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Dis_original_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/ExpVal.weight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/ExpVal.weight -------------------------------------------------------------------------------- /PEC_benchmarks/ExpVal_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/ExpVal_1.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/ExpVal_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/ExpVal_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/ExpVal_2_err.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/ExpVal_2_err.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/ExpVal_3.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/ExpVal_3.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Grover.careset: -------------------------------------------------------------------------------- 1 | q[0] -------------------------------------------------------------------------------- /PEC_benchmarks/Grover_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Grover_1.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Grover_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Grover_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Grover_3.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Grover_3.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Grover_4.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Grover_4.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/Grover_5.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/Grover_5.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod5.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod5.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod5_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod5_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod5_sft.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod5_sft.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod5_sft_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod5_sft_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod5_sft_err.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod5_sft_err.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod7.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod7.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/PF_3xmod7_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/PF_3xmod7_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_T.careset: -------------------------------------------------------------------------------- 1 | not q[0] -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_T.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/RUS_T.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_T_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/RUS_T_1.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_T_err.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/RUS_T_err.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_V3.careset: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/RUS_V3.careset -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_V3_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/RUS_V3_1.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/RUS_V3_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/RUS_V3_2.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/nestedif2_16_396.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/nestedif2_16_396.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/nestedif2_16_468.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/nestedif2_16_468.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_10_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_10_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_10_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_10_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_11_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_11_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_11_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_11_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_12_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_12_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_12_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_12_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_13_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_13_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_13_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_13_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_14_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_14_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_14_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_14_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_15_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_15_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_15_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_15_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_16_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_16_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_16_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_16_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_17_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_17_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_17_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_17_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_18_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_18_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_18_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_18_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_19_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_19_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_19_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_19_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_20_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_20_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_20_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_20_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_5_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_5_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_5_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_5_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_6_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_6_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_6_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_6_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_7_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_7_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_7_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_7_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_8_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_8_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_8_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_8_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_9_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_9_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/bv_9_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/bv_9_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_10_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_10_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_10_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_10_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_11_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_11_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_11_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_11_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_12_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_12_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_12_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_12_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_13_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_13_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_13_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_13_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_14_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_14_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_14_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_14_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_15_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_15_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_15_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_15_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_16_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_16_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_16_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_16_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_17_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_17_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_17_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_17_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_18_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_18_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_18_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_18_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_19_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_19_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_19_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_19_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_20_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_20_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_20_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_20_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_5_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_5_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_5_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_5_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_6_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_6_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_6_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_6_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_7_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_7_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_7_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_7_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_8_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_8_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_8_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_8_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_9_a.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_9_a.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/scalibility/random_9_b.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/scalibility/random_9_b.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/urf1_149.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/urf1_149.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/urf5_158.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/urf5_158.qasm -------------------------------------------------------------------------------- /PEC_benchmarks/urf5_159.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/PEC_benchmarks/urf5_159.qasm -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/README.md -------------------------------------------------------------------------------- /cudd/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/Doxyfile.in -------------------------------------------------------------------------------- /cudd/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/LICENSE -------------------------------------------------------------------------------- /cudd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/Makefile -------------------------------------------------------------------------------- /cudd/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/Makefile.am -------------------------------------------------------------------------------- /cudd/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/Makefile.in -------------------------------------------------------------------------------- /cudd/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/README -------------------------------------------------------------------------------- /cudd/RELEASE.NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/RELEASE.NOTES -------------------------------------------------------------------------------- /cudd/aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/aclocal.m4 -------------------------------------------------------------------------------- /cudd/autom4te.cache/output.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/output.0 -------------------------------------------------------------------------------- /cudd/autom4te.cache/output.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/output.1 -------------------------------------------------------------------------------- /cudd/autom4te.cache/output.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/output.2 -------------------------------------------------------------------------------- /cudd/autom4te.cache/requests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/requests -------------------------------------------------------------------------------- /cudd/autom4te.cache/traces.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/traces.0 -------------------------------------------------------------------------------- /cudd/autom4te.cache/traces.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/traces.1 -------------------------------------------------------------------------------- /cudd/autom4te.cache/traces.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/autom4te.cache/traces.2 -------------------------------------------------------------------------------- /cudd/build-aux/ar-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/ar-lib -------------------------------------------------------------------------------- /cudd/build-aux/compile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/compile -------------------------------------------------------------------------------- /cudd/build-aux/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/config.guess -------------------------------------------------------------------------------- /cudd/build-aux/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/config.sub -------------------------------------------------------------------------------- /cudd/build-aux/depcomp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/depcomp -------------------------------------------------------------------------------- /cudd/build-aux/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/install-sh -------------------------------------------------------------------------------- /cudd/build-aux/ltmain.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/ltmain.sh -------------------------------------------------------------------------------- /cudd/build-aux/missing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/missing -------------------------------------------------------------------------------- /cudd/build-aux/tap-driver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/build-aux/tap-driver.sh -------------------------------------------------------------------------------- /cudd/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/config.h -------------------------------------------------------------------------------- /cudd/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/config.h.in -------------------------------------------------------------------------------- /cudd/config.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/config.log -------------------------------------------------------------------------------- /cudd/config.status: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/config.status -------------------------------------------------------------------------------- /cudd/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/configure -------------------------------------------------------------------------------- /cudd/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/configure.ac -------------------------------------------------------------------------------- /cudd/cplusplus/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/Included.am -------------------------------------------------------------------------------- /cudd/cplusplus/cuddObj.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/cuddObj.cc -------------------------------------------------------------------------------- /cudd/cplusplus/cuddObj.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/cuddObj.hh -------------------------------------------------------------------------------- /cudd/cplusplus/cudd_libcudd_la-cuddObj.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/cudd_libcudd_la-cuddObj.lo -------------------------------------------------------------------------------- /cudd/cplusplus/cudd_libcudd_la-cuddObj.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/cudd_libcudd_la-cuddObj.o -------------------------------------------------------------------------------- /cudd/cplusplus/multi.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/multi.out -------------------------------------------------------------------------------- /cudd/cplusplus/test.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/test.out -------------------------------------------------------------------------------- /cudd/cplusplus/test_obj.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/test_obj.test.in -------------------------------------------------------------------------------- /cudd/cplusplus/testmulti.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/testmulti.cc -------------------------------------------------------------------------------- /cudd/cplusplus/testobj.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cplusplus/testobj.cc -------------------------------------------------------------------------------- /cudd/cudd/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/Included.am -------------------------------------------------------------------------------- /cudd/cudd/cudd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cudd.h -------------------------------------------------------------------------------- /cudd/cudd/cuddAPI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAPI.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddAbs.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddApply.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddApply.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddFind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddFind.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddInv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddInv.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddIte.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddNeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddNeg.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAddWalsh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAddWalsh.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAndAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAndAbs.c -------------------------------------------------------------------------------- /cudd/cudd/cuddAnneal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddAnneal.c -------------------------------------------------------------------------------- /cudd/cudd/cuddApa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddApa.c -------------------------------------------------------------------------------- /cudd/cudd/cuddApprox.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddApprox.c -------------------------------------------------------------------------------- /cudd/cudd/cuddBddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddBddAbs.c -------------------------------------------------------------------------------- /cudd/cudd/cuddBddCorr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddBddCorr.c -------------------------------------------------------------------------------- /cudd/cudd/cuddBddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddBddIte.c -------------------------------------------------------------------------------- /cudd/cudd/cuddBridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddBridge.c -------------------------------------------------------------------------------- /cudd/cudd/cuddCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddCache.c -------------------------------------------------------------------------------- /cudd/cudd/cuddCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddCheck.c -------------------------------------------------------------------------------- /cudd/cudd/cuddClip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddClip.c -------------------------------------------------------------------------------- /cudd/cudd/cuddCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddCof.c -------------------------------------------------------------------------------- /cudd/cudd/cuddCompose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddCompose.c -------------------------------------------------------------------------------- /cudd/cudd/cuddDecomp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddDecomp.c -------------------------------------------------------------------------------- /cudd/cudd/cuddEssent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddEssent.c -------------------------------------------------------------------------------- /cudd/cudd/cuddExact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddExact.c -------------------------------------------------------------------------------- /cudd/cudd/cuddExport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddExport.c -------------------------------------------------------------------------------- /cudd/cudd/cuddGenCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddGenCof.c -------------------------------------------------------------------------------- /cudd/cudd/cuddGenetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddGenetic.c -------------------------------------------------------------------------------- /cudd/cudd/cuddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddGroup.c -------------------------------------------------------------------------------- /cudd/cudd/cuddHarwell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddHarwell.c -------------------------------------------------------------------------------- /cudd/cudd/cuddInit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddInit.c -------------------------------------------------------------------------------- /cudd/cudd/cuddInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddInt.h -------------------------------------------------------------------------------- /cudd/cudd/cuddInteract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddInteract.c -------------------------------------------------------------------------------- /cudd/cudd/cuddLCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddLCache.c -------------------------------------------------------------------------------- /cudd/cudd/cuddLevelQ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddLevelQ.c -------------------------------------------------------------------------------- /cudd/cudd/cuddLinear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddLinear.c -------------------------------------------------------------------------------- /cudd/cudd/cuddLiteral.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddLiteral.c -------------------------------------------------------------------------------- /cudd/cudd/cuddMatMult.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddMatMult.c -------------------------------------------------------------------------------- /cudd/cudd/cuddPriority.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddPriority.c -------------------------------------------------------------------------------- /cudd/cudd/cuddRead.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddRead.c -------------------------------------------------------------------------------- /cudd/cudd/cuddRef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddRef.c -------------------------------------------------------------------------------- /cudd/cudd/cuddReorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddReorder.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSat.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSign.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSolve.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSplit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSplit.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSubsetHB.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSubsetHB.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSubsetSP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSubsetSP.c -------------------------------------------------------------------------------- /cudd/cudd/cuddSymmetry.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddSymmetry.c -------------------------------------------------------------------------------- /cudd/cudd/cuddTable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddTable.c -------------------------------------------------------------------------------- /cudd/cudd/cuddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddUtil.c -------------------------------------------------------------------------------- /cudd/cudd/cuddWindow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddWindow.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddCount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddCount.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddFuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddFuncs.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddGroup.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddIsop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddIsop.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddLin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddLin.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddMisc.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddPort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddPort.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddReord.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddReord.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddSetop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddSetop.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddSymm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddSymm.c -------------------------------------------------------------------------------- /cudd/cudd/cuddZddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/cuddZddUtil.c -------------------------------------------------------------------------------- /cudd/cudd/extra.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/extra.out -------------------------------------------------------------------------------- /cudd/cudd/libcudd.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd.la -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAPI.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAPI.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAPI.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAPI.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddAbs.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddAbs.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddAbs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddAbs.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddApply.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddApply.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddApply.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddApply.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddFind.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddFind.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddFind.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddFind.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddInv.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddInv.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddInv.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddInv.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddIte.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddIte.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddIte.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddIte.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddNeg.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddNeg.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddNeg.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddNeg.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddWalsh.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddWalsh.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAddWalsh.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAddWalsh.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAndAbs.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAndAbs.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAndAbs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAndAbs.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAnneal.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAnneal.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddAnneal.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddAnneal.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddApa.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddApa.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddApa.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddApa.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddApprox.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddApprox.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddApprox.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddApprox.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBddAbs.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBddAbs.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBddAbs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBddAbs.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBddCorr.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBddCorr.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBddCorr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBddCorr.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBddIte.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBddIte.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBddIte.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBddIte.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBridge.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBridge.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddBridge.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddBridge.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCache.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCache.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCache.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCache.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCheck.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCheck.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCheck.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCheck.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddClip.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddClip.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddClip.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddClip.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCof.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCof.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCof.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCof.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCompose.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCompose.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddCompose.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddCompose.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddDecomp.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddDecomp.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddDecomp.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddDecomp.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddEssent.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddEssent.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddEssent.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddEssent.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddExact.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddExact.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddExact.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddExact.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddExport.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddExport.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddExport.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddExport.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddGenCof.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddGenCof.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddGenCof.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddGenCof.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddGenetic.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddGenetic.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddGenetic.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddGenetic.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddGroup.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddGroup.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddGroup.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddGroup.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddHarwell.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddHarwell.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddHarwell.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddHarwell.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddInit.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddInit.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddInit.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddInit.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddInteract.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddInteract.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddInteract.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddInteract.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLCache.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLCache.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLCache.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLCache.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLevelQ.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLevelQ.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLevelQ.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLevelQ.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLinear.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLinear.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLinear.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLinear.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLiteral.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLiteral.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddLiteral.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddLiteral.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddMatMult.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddMatMult.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddMatMult.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddMatMult.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddPriority.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddPriority.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddPriority.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddPriority.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddRead.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddRead.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddRead.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddRead.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddRef.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddRef.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddRef.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddRef.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddReorder.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddReorder.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddReorder.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddReorder.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSat.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSat.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSat.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSat.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSign.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSign.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSign.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSign.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSolve.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSolve.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSolve.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSolve.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSplit.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSplit.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSplit.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSplit.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSubsetHB.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSubsetHB.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSubsetHB.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSubsetHB.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSubsetSP.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSubsetSP.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSubsetSP.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSubsetSP.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSymmetry.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSymmetry.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddSymmetry.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddSymmetry.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddTable.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddTable.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddTable.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddTable.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddUtil.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddUtil.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddUtil.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddUtil.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddWindow.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddWindow.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddWindow.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddWindow.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddCount.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddCount.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddCount.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddCount.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddFuncs.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddFuncs.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddFuncs.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddFuncs.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddGroup.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddGroup.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddGroup.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddGroup.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddIsop.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddIsop.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddIsop.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddIsop.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddLin.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddLin.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddLin.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddLin.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddMisc.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddMisc.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddMisc.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddMisc.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddPort.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddPort.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddPort.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddPort.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddReord.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddReord.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddReord.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddReord.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddSetop.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddSetop.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddSetop.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddSetop.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddSymm.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddSymm.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddSymm.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddSymm.o -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddUtil.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddUtil.lo -------------------------------------------------------------------------------- /cudd/cudd/libcudd_la-cuddZddUtil.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/libcudd_la-cuddZddUtil.o -------------------------------------------------------------------------------- /cudd/cudd/r7x8.1.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/r7x8.1.mat -------------------------------------------------------------------------------- /cudd/cudd/r7x8.1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/r7x8.1.out -------------------------------------------------------------------------------- /cudd/cudd/test_cudd.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/test_cudd.test.in -------------------------------------------------------------------------------- /cudd/cudd/testcudd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/testcudd.c -------------------------------------------------------------------------------- /cudd/cudd/testextra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/cudd/testextra.c -------------------------------------------------------------------------------- /cudd/dddmp/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/Included.am -------------------------------------------------------------------------------- /cudd/dddmp/README.dddmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/README.dddmp -------------------------------------------------------------------------------- /cudd/dddmp/README.testdddmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/README.testdddmp -------------------------------------------------------------------------------- /cudd/dddmp/RELEASE_NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/RELEASE_NOTES -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpBinary.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpBinary.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpBinary.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpBinary.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpConvert.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpConvert.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpConvert.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpConvert.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpDbg.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpDbg.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpDbg.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpDbg.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpLoad.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpLoad.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpLoad.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpLoad.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpLoadCnf.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpLoadCnf.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpLoadCnf.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpLoadCnf.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpNodeAdd.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpNodeAdd.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpNodeAdd.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpNodeAdd.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpNodeBdd.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpNodeBdd.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpNodeBdd.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpNodeBdd.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpNodeCnf.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpNodeCnf.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpNodeCnf.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpNodeCnf.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreAdd.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreAdd.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreAdd.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreAdd.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreBdd.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreBdd.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreBdd.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreBdd.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreCnf.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreCnf.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreCnf.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreCnf.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreMisc.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreMisc.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpStoreMisc.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpStoreMisc.o -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpUtil.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpUtil.lo -------------------------------------------------------------------------------- /cudd/dddmp/cudd_libcudd_la-dddmpUtil.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/cudd_libcudd_la-dddmpUtil.o -------------------------------------------------------------------------------- /cudd/dddmp/dddmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmp.h -------------------------------------------------------------------------------- /cudd/dddmp/dddmpBinary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpBinary.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpConvert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpConvert.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpDbg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpDbg.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpInt.h -------------------------------------------------------------------------------- /cudd/dddmp/dddmpLoad.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpLoad.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpLoadCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpLoadCnf.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpNodeAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpNodeAdd.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpNodeBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpNodeBdd.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpNodeCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpNodeCnf.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpStoreAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpStoreAdd.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpStoreBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpStoreBdd.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpStoreCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpStoreCnf.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpStoreMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpStoreMisc.c -------------------------------------------------------------------------------- /cudd/dddmp/dddmpUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/dddmpUtil.c -------------------------------------------------------------------------------- /cudd/dddmp/doc/cmdIndex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/cmdIndex.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/commands.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/commands.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/credit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/credit.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmp-2.0-A4.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmp-2.0-A4.ps -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmp-2.0-Letter.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmp-2.0-Letter.ps -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpAllAbs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpAllAbs.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpAllByFile.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpAllByFile.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpAllByFunc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpAllByFunc.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpAllDet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpAllDet.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpAllFile.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpAllFile.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpDesc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpDesc.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpDoc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpDoc.txt -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpExt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpExt.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpExtAbs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpExtAbs.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpExtDet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpExtDet.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/dddmpTitle.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/dddmpTitle.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/packages.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/packages.html -------------------------------------------------------------------------------- /cudd/dddmp/doc/pkgIndex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/doc/pkgIndex.html -------------------------------------------------------------------------------- /cudd/dddmp/exp/0.add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/0.add -------------------------------------------------------------------------------- /cudd/dddmp/exp/0.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/0.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/0or1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/0or1.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/1.add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/1.add -------------------------------------------------------------------------------- /cudd/dddmp/exp/1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/1.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/2.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/2.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/2and3.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/2and3.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/3.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/3.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.bdd.bis1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.bdd.bis1 -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.bdd.bis2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.bdd.bis2 -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.bdd.bis3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.bdd.bis3 -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.bdd.bis4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.bdd.bis4 -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.cnf -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.cnf.bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.cnf.bis -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.max1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.max1 -------------------------------------------------------------------------------- /cudd/dddmp/exp/4.max2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4.max2 -------------------------------------------------------------------------------- /cudd/dddmp/exp/4bis.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4bis.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/4xor5.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/4xor5.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/5.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/5.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/composeids.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/composeids.txt -------------------------------------------------------------------------------- /cudd/dddmp/exp/one.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/one.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/s27RP1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/s27RP1.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/s27deltaDddmp1.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/s27deltaDddmp1.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/s27deltaDddmp1.bdd.bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/s27deltaDddmp1.bdd.bis -------------------------------------------------------------------------------- /cudd/dddmp/exp/s27deltaDddmp2.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/s27deltaDddmp2.bdd -------------------------------------------------------------------------------- /cudd/dddmp/exp/test1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test1.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test1.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test1.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/test2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test2.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test2.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test2.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/test3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test3.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test3.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test3.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/test4.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test4.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test4.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test4.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/test5.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test5.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test5.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test5.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/test6.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test6.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test6.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test6.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/test7.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test7.sh -------------------------------------------------------------------------------- /cudd/dddmp/exp/test7.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/test7.sh.in -------------------------------------------------------------------------------- /cudd/dddmp/exp/varauxids.ord: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/varauxids.ord -------------------------------------------------------------------------------- /cudd/dddmp/exp/varnames.ord: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/varnames.ord -------------------------------------------------------------------------------- /cudd/dddmp/exp/zero.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/exp/zero.bdd -------------------------------------------------------------------------------- /cudd/dddmp/test_dddmp.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/test_dddmp.test.in -------------------------------------------------------------------------------- /cudd/dddmp/testdddmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/dddmp/testdddmp.c -------------------------------------------------------------------------------- /cudd/doc/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/Included.am -------------------------------------------------------------------------------- /cudd/doc/cudd.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.aux -------------------------------------------------------------------------------- /cudd/doc/cudd.idx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.idx -------------------------------------------------------------------------------- /cudd/doc/cudd.ilg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.ilg -------------------------------------------------------------------------------- /cudd/doc/cudd.ind: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.ind -------------------------------------------------------------------------------- /cudd/doc/cudd.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.out -------------------------------------------------------------------------------- /cudd/doc/cudd.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.pdf -------------------------------------------------------------------------------- /cudd/doc/cudd.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.tex -------------------------------------------------------------------------------- /cudd/doc/cudd.tex.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.tex.in -------------------------------------------------------------------------------- /cudd/doc/cudd.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/cudd.toc -------------------------------------------------------------------------------- /cudd/doc/phase.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/doc/phase.pdf -------------------------------------------------------------------------------- /cudd/epd/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/epd/Included.am -------------------------------------------------------------------------------- /cudd/epd/cudd_libcudd_la-epd.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/epd/cudd_libcudd_la-epd.lo -------------------------------------------------------------------------------- /cudd/epd/cudd_libcudd_la-epd.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/epd/cudd_libcudd_la-epd.o -------------------------------------------------------------------------------- /cudd/epd/epd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/epd/epd.c -------------------------------------------------------------------------------- /cudd/epd/epd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/epd/epd.h -------------------------------------------------------------------------------- /cudd/epd/epdInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/epd/epdInt.h -------------------------------------------------------------------------------- /cudd/groups.dox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/groups.dox -------------------------------------------------------------------------------- /cudd/libtool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/libtool -------------------------------------------------------------------------------- /cudd/m4/libtool.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/libtool.m4 -------------------------------------------------------------------------------- /cudd/m4/ltoptions.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/ltoptions.m4 -------------------------------------------------------------------------------- /cudd/m4/ltsugar.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/ltsugar.m4 -------------------------------------------------------------------------------- /cudd/m4/ltversion.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/ltversion.m4 -------------------------------------------------------------------------------- /cudd/m4/lt~obsolete.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/lt~obsolete.m4 -------------------------------------------------------------------------------- /cudd/m4/modern_cxx.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/modern_cxx.m4 -------------------------------------------------------------------------------- /cudd/m4/w32.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/m4/w32.m4 -------------------------------------------------------------------------------- /cudd/mtr/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/Included.am -------------------------------------------------------------------------------- /cudd/mtr/cudd_libcudd_la-mtrBasic.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/cudd_libcudd_la-mtrBasic.lo -------------------------------------------------------------------------------- /cudd/mtr/cudd_libcudd_la-mtrBasic.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/cudd_libcudd_la-mtrBasic.o -------------------------------------------------------------------------------- /cudd/mtr/cudd_libcudd_la-mtrGroup.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/cudd_libcudd_la-mtrGroup.lo -------------------------------------------------------------------------------- /cudd/mtr/cudd_libcudd_la-mtrGroup.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/cudd_libcudd_la-mtrGroup.o -------------------------------------------------------------------------------- /cudd/mtr/mtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/mtr.h -------------------------------------------------------------------------------- /cudd/mtr/mtrBasic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/mtrBasic.c -------------------------------------------------------------------------------- /cudd/mtr/mtrGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/mtrGroup.c -------------------------------------------------------------------------------- /cudd/mtr/mtrInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/mtrInt.h -------------------------------------------------------------------------------- /cudd/mtr/test.groups: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/test.groups -------------------------------------------------------------------------------- /cudd/mtr/test.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/test.out -------------------------------------------------------------------------------- /cudd/mtr/test_mtr.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/test_mtr.test.in -------------------------------------------------------------------------------- /cudd/mtr/testmtr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/mtr/testmtr.c -------------------------------------------------------------------------------- /cudd/nanotrav/C17.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/C17.blif -------------------------------------------------------------------------------- /cudd/nanotrav/C17.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/C17.out -------------------------------------------------------------------------------- /cudd/nanotrav/C880.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/C880.blif -------------------------------------------------------------------------------- /cudd/nanotrav/C880.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/C880.out -------------------------------------------------------------------------------- /cudd/nanotrav/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/Included.am -------------------------------------------------------------------------------- /cudd/nanotrav/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/README -------------------------------------------------------------------------------- /cudd/nanotrav/adj49.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/adj49.blif -------------------------------------------------------------------------------- /cudd/nanotrav/adj49.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/adj49.out -------------------------------------------------------------------------------- /cudd/nanotrav/bnet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/bnet.c -------------------------------------------------------------------------------- /cudd/nanotrav/bnet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/bnet.h -------------------------------------------------------------------------------- /cudd/nanotrav/chkMterm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/chkMterm.c -------------------------------------------------------------------------------- /cudd/nanotrav/closest.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/closest.blif -------------------------------------------------------------------------------- /cudd/nanotrav/closest.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/closest.out -------------------------------------------------------------------------------- /cudd/nanotrav/ham01.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ham01.blif -------------------------------------------------------------------------------- /cudd/nanotrav/ham01.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ham01.out -------------------------------------------------------------------------------- /cudd/nanotrav/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/main.c -------------------------------------------------------------------------------- /cudd/nanotrav/miniFirst.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/miniFirst.blif -------------------------------------------------------------------------------- /cudd/nanotrav/miniFirst.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/miniFirst.out -------------------------------------------------------------------------------- /cudd/nanotrav/miniSecond.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/miniSecond.blif -------------------------------------------------------------------------------- /cudd/nanotrav/mult32a.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/mult32a.blif -------------------------------------------------------------------------------- /cudd/nanotrav/mult32a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/mult32a.out -------------------------------------------------------------------------------- /cudd/nanotrav/nanotrav.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/nanotrav.1 -------------------------------------------------------------------------------- /cudd/nanotrav/ntr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntr.c -------------------------------------------------------------------------------- /cudd/nanotrav/ntr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntr.h -------------------------------------------------------------------------------- /cudd/nanotrav/ntrBddTest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntrBddTest.c -------------------------------------------------------------------------------- /cudd/nanotrav/ntrHeap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntrHeap.c -------------------------------------------------------------------------------- /cudd/nanotrav/ntrMflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntrMflow.c -------------------------------------------------------------------------------- /cudd/nanotrav/ntrShort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntrShort.c -------------------------------------------------------------------------------- /cudd/nanotrav/ntrZddTest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/ntrZddTest.c -------------------------------------------------------------------------------- /cudd/nanotrav/rcn25.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/rcn25.blif -------------------------------------------------------------------------------- /cudd/nanotrav/rcn25.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/rcn25.out -------------------------------------------------------------------------------- /cudd/nanotrav/s27.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s27.blif -------------------------------------------------------------------------------- /cudd/nanotrav/s27.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s27.out -------------------------------------------------------------------------------- /cudd/nanotrav/s27b.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s27b.blif -------------------------------------------------------------------------------- /cudd/nanotrav/s27b.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s27b.out -------------------------------------------------------------------------------- /cudd/nanotrav/s27c.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s27c.blif -------------------------------------------------------------------------------- /cudd/nanotrav/s27c.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s27c.out -------------------------------------------------------------------------------- /cudd/nanotrav/s382.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s382.blif -------------------------------------------------------------------------------- /cudd/nanotrav/s382.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s382.out -------------------------------------------------------------------------------- /cudd/nanotrav/s641.blif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s641.blif -------------------------------------------------------------------------------- /cudd/nanotrav/s641.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/s641.out -------------------------------------------------------------------------------- /cudd/nanotrav/test_ntrv.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/nanotrav/test_ntrv.test.in -------------------------------------------------------------------------------- /cudd/st/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/Included.am -------------------------------------------------------------------------------- /cudd/st/cudd_libcudd_la-st.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/cudd_libcudd_la-st.lo -------------------------------------------------------------------------------- /cudd/st/cudd_libcudd_la-st.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/cudd_libcudd_la-st.o -------------------------------------------------------------------------------- /cudd/st/st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/st.c -------------------------------------------------------------------------------- /cudd/st/st.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/st.h -------------------------------------------------------------------------------- /cudd/st/test_st.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/test_st.test.in -------------------------------------------------------------------------------- /cudd/st/testst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/st/testst.c -------------------------------------------------------------------------------- /cudd/stamp-h1: -------------------------------------------------------------------------------- 1 | timestamp for config.h 2 | -------------------------------------------------------------------------------- /cudd/util/Included.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/Included.am -------------------------------------------------------------------------------- /cudd/util/cpu_stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cpu_stats.c -------------------------------------------------------------------------------- /cudd/util/cpu_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cpu_time.c -------------------------------------------------------------------------------- /cudd/util/cstringstream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cstringstream.c -------------------------------------------------------------------------------- /cudd/util/cstringstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cstringstream.h -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-cpu_stats.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-cpu_stats.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-cpu_stats.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-cpu_stats.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-cpu_time.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-cpu_time.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-cpu_time.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-cpu_time.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-cstringstream.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-cstringstream.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-cstringstream.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-cstringstream.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-datalimit.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-datalimit.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-datalimit.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-datalimit.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-pathsearch.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-pathsearch.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-pathsearch.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-pathsearch.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-pipefork.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-pipefork.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-pipefork.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-pipefork.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-prtime.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-prtime.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-prtime.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-prtime.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-safe_mem.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-safe_mem.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-safe_mem.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-safe_mem.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-strsav.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-strsav.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-strsav.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-strsav.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-texpand.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-texpand.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-texpand.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-texpand.o -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-ucbqsort.lo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-ucbqsort.lo -------------------------------------------------------------------------------- /cudd/util/cudd_libcudd_la-ucbqsort.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/cudd_libcudd_la-ucbqsort.o -------------------------------------------------------------------------------- /cudd/util/datalimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/datalimit.c -------------------------------------------------------------------------------- /cudd/util/pathsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/pathsearch.c -------------------------------------------------------------------------------- /cudd/util/pipefork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/pipefork.c -------------------------------------------------------------------------------- /cudd/util/prtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/prtime.c -------------------------------------------------------------------------------- /cudd/util/safe_mem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/safe_mem.c -------------------------------------------------------------------------------- /cudd/util/strsav.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/strsav.c -------------------------------------------------------------------------------- /cudd/util/texpand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/texpand.c -------------------------------------------------------------------------------- /cudd/util/ucbqsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/ucbqsort.c -------------------------------------------------------------------------------- /cudd/util/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/cudd/util/util.h -------------------------------------------------------------------------------- /examples/FEC/add6_196_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/add6_196_1.qasm -------------------------------------------------------------------------------- /examples/FEC/add6_196_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/add6_196_2.qasm -------------------------------------------------------------------------------- /examples/FEC/bv_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/bv_1.qasm -------------------------------------------------------------------------------- /examples/FEC/bv_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/bv_2.qasm -------------------------------------------------------------------------------- /examples/FEC/entanglement_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/entanglement_1.qasm -------------------------------------------------------------------------------- /examples/FEC/entanglement_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/entanglement_2.qasm -------------------------------------------------------------------------------- /examples/FEC/random_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/random_1.qasm -------------------------------------------------------------------------------- /examples/FEC/random_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/FEC/random_2.qasm -------------------------------------------------------------------------------- /examples/PEC/Grover_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/PEC/Grover_1.qasm -------------------------------------------------------------------------------- /examples/PEC/Grover_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/PEC/Grover_2.qasm -------------------------------------------------------------------------------- /examples/PEC/period_finding_1.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/PEC/period_finding_1.qasm -------------------------------------------------------------------------------- /examples/PEC/period_finding_2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/PEC/period_finding_2.qasm -------------------------------------------------------------------------------- /examples/PEC/urf1_149.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/PEC/urf1_149.qasm -------------------------------------------------------------------------------- /examples/PEC/urf1_150.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/examples/PEC/urf1_150.qasm -------------------------------------------------------------------------------- /src/bddSystem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/bddSystem.h -------------------------------------------------------------------------------- /src/eqChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/eqChecker.cpp -------------------------------------------------------------------------------- /src/eqChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/eqChecker.h -------------------------------------------------------------------------------- /src/gateOpe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/gateOpe.cpp -------------------------------------------------------------------------------- /src/gateType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/gateType.h -------------------------------------------------------------------------------- /src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/main.cpp -------------------------------------------------------------------------------- /src/memMeasure.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/memMeasure.cpp -------------------------------------------------------------------------------- /src/memMeasure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/memMeasure.h -------------------------------------------------------------------------------- /src/misc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/misc.cpp -------------------------------------------------------------------------------- /src/qasmParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NTU-ALComLab/SliQEC/HEAD/src/qasmParser.cpp --------------------------------------------------------------------------------