Version abc60407

1 files changed, 24 insertions, 0 deletions

diff --git a/abc.dsp b/abc.dsp
index 5c2592b2..13cbb0f0 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -214,6 +214,10 @@ SOURCE=.\src\base\abci\abcFxu.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcGen.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcMap.c
 # End Source File
 # Begin Source File
@@ -262,6 +266,10 @@ SOURCE=.\src\base\abci\abcRewrite.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcRr.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcSat.c
 # End Source File
 # Begin Source File
@@ -282,6 +290,10 @@ SOURCE=.\src\base\abci\abcTiming.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcTrace.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcUnate.c
 # End Source File
 # Begin Source File
@@ -934,6 +946,10 @@ SOURCE=.\src\sat\asat\asatmem.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\sat\asat\jfront.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\asat\solver.c
 # End Source File
 # Begin Source File
@@ -1310,6 +1326,10 @@ SOURCE=.\src\opt\cut\cutOracle.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\opt\cut\cutPre22.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\opt\cut\cutSeq.c
 # End Source File
 # Begin Source File
@@ -1738,6 +1758,10 @@ SOURCE=.\src\misc\extra\extraUtilReader.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\extra\extraUtilTruth.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\extra\extraUtilUtil.c
 # End Source File
 # End Group