Version abc60211

1 files changed, 20 insertions, 4 deletions

diff --git a/abc.dsp b/abc.dsp
index cad43b8e..527ef2e6 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -174,6 +174,10 @@ SOURCE=.\src\base\abci\abcAttach.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcAuto.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcBalance.c
 # End Source File
 # Begin Source File
@@ -210,10 +214,6 @@ SOURCE=.\src\base\abci\abcMiter.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\base\abci\abcNewAig.c
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\base\abci\abcNtbdd.c
 # End Source File
 # Begin Source File
@@ -262,6 +262,10 @@ SOURCE=.\src\base\abci\abcTiming.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcUnate.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcUnreach.c
 # End Source File
 # Begin Source File
@@ -1128,6 +1132,10 @@ SOURCE=.\src\sat\aig\fraigSolver.c
 
 SOURCE=.\src\sat\aig\fraigTrav.c
 # End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\aig\rwrTruth.c
+# End Source File
 # End Group
 # End Group
 # Begin Group "opt"
@@ -1650,6 +1658,10 @@ SOURCE=.\src\misc\extra\extra.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\extra\extraBddAuto.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\extra\extraBddKmap.c
 # End Source File
 # Begin Source File
@@ -1662,6 +1674,10 @@ SOURCE=.\src\misc\extra\extraBddSymm.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\extra\extraBddUnate.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\extra\extraUtilBitMatrix.c
 # End Source File
 # Begin Source File