1 files changed, 68 insertions, 0 deletions
diff --git a/1.txt b/1.txt
new file mode 100644
index 00000000..7d5e1d43
--- /dev/null
+++ b/1.txt
@@ -0,0 +1,68 @@
+M src\bdd\cudd\cudd.h
+M src\bdd\cudd\cuddAPI.c
+M src\bdd\cudd\cuddAddAbs.c
+M src\bdd\cudd\cuddAddApply.c
+M src\bdd\cudd\cuddAddFind.c
+M src\bdd\cudd\cuddAddInv.c
+M src\bdd\cudd\cuddAddIte.c
+M src\bdd\cudd\cuddAddNeg.c
+M src\bdd\cudd\cuddAddWalsh.c
+M src\bdd\cudd\cuddAndAbs.c
+M src\bdd\cudd\cuddAnneal.c
+M src\bdd\cudd\cuddApa.c
+M src\bdd\cudd\cuddApprox.c
+M src\bdd\cudd\cuddBddAbs.c
+M src\bdd\cudd\cuddBddCorr.c
+M src\bdd\cudd\cuddBddIte.c
+M src\bdd\cudd\cuddBridge.c
+M src\bdd\cudd\cuddCache.c
+M src\bdd\cudd\cuddCheck.c
+M src\bdd\cudd\cuddClip.c
+M src\bdd\cudd\cuddCof.c
+M src\bdd\cudd\cuddCompose.c
+M src\bdd\cudd\cuddDecomp.c
+M src\bdd\cudd\cuddEssent.c
+M src\bdd\cudd\cuddExact.c
+M src\bdd\cudd\cuddExport.c
+M src\bdd\cudd\cuddGenCof.c
+M src\bdd\cudd\cuddGenetic.c
+M src\bdd\cudd\cuddGroup.c
+M src\bdd\cudd\cuddHarwell.c
+M src\bdd\cudd\cuddInit.c
+M src\bdd\cudd\cuddInt.h
+M src\bdd\cudd\cuddInteract.c
+M src\bdd\cudd\cuddLCache.c
+M src\bdd\cudd\cuddLevelQ.c
+M src\bdd\cudd\cuddLinear.c
+M src\bdd\cudd\cuddLiteral.c
+M src\bdd\cudd\cuddMatMult.c
+M src\bdd\cudd\cuddPriority.c
+M src\bdd\cudd\cuddRead.c
+M src\bdd\cudd\cuddRef.c
+M src\bdd\cudd\cuddReorder.c
+M src\bdd\cudd\cuddSat.c
+M src\bdd\cudd\cuddSign.c
+M src\bdd\cudd\cuddSolve.c
+M src\bdd\cudd\cuddSplit.c
+M src\bdd\cudd\cuddSubsetHB.c
+M src\bdd\cudd\cuddSubsetSP.c
+M src\bdd\cudd\cuddSymmetry.c
+M src\bdd\cudd\cuddTable.c
+M src\bdd\cudd\cuddUtil.c
+M src\bdd\cudd\cuddWindow.c
+M src\bdd\cudd\cuddZddCount.c
+M src\bdd\cudd\cuddZddFuncs.c
+M src\bdd\cudd\cuddZddGroup.c
+M src\bdd\cudd\cuddZddIsop.c
+M src\bdd\cudd\cuddZddLin.c
+M src\bdd\cudd\cuddZddMisc.c
+M src\bdd\cudd\cuddZddPort.c
+M src\bdd\cudd\cuddZddReord.c
+M src\bdd\cudd\cuddZddSetop.c
+M src\bdd\cudd\cuddZddSymm.c
+M src\bdd\cudd\cuddZddUtil.c
+M src\bdd\cudd\r7x8.1.mat
+M src\bdd\cudd\testcudd.c
+? 1.txt
+? src\bdd\cudd\Makefile
+? src\bdd\cudd\r7x8.1.out