1 files changed, 85 insertions, 1 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 6a83a868..ed97dec6 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -307,6 +307,10 @@ SOURCE=.\src\base\abci\abcMerge.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcMffc.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcMini.c
 # End Source File
 # Begin Source File
@@ -2359,6 +2363,14 @@ SOURCE=.\src\misc\util\util_hack.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\util\utilCex.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\util\utilCex.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\util\utilFile.c
 # End Source File
 # Begin Source File
@@ -3507,6 +3519,10 @@ SOURCE=.\src\aig\saig\saigSimExt.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\saig\saigSimExt2.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\saig\saigSimFast.c
 # End Source File
 # Begin Source File
@@ -3551,6 +3567,10 @@ SOURCE=.\src\aig\int\int.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\int\intCheck.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\int\intContain.c
 # End Source File
 # Begin Source File
@@ -4118,9 +4138,73 @@ SOURCE=.\src\aig\llb\llb3Nonlin.c
 SOURCE=.\src\aig\llb\llbInt.h
 # End Source File
 # End Group
-# Begin Group "bll"
+# Begin Group "au"
 
 # PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\au\au.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\au.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auBridge.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auCut.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auCut.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auDec.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auDsd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auFanout.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auNpn.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auNtk.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auNtk.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auSweep.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auTable.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\au\auUtil.c
+# End Source File
 # End Group
 # End Group
 # End Group