1 files changed, 68 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index e3d827a1..3ffe0e44 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -807,6 +807,10 @@ SOURCE=.\src\base\wlc\wlcStdin.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\wlc\wlcWin.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\wlc\wlcWriteVer.c
 # End Source File
 # End Group
@@ -967,6 +971,10 @@ SOURCE=.\src\base\cba\cbaReadVer.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\cba\cbaTypes.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\cba\cbaWriteBlif.c
 # End Source File
 # Begin Source File
@@ -2670,6 +2678,50 @@ SOURCE=.\src\opt\fxch\FxchMan.c
 SOURCE=.\src\opt\fxch\FxchSCHashTable.c
 # End Source File
 # End Group
+# Begin Group "dsc"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\dsc\dsc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dsc\dsc.h
+# End Source File
+# End Group
+# Begin Group "sbd"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbd.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdCnf.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdWin.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"
 
@@ -4525,6 +4577,10 @@ SOURCE=.\src\aig\gia\giaUtil.c
 
 SOURCE=.\src\aig\miniaig\miniaig.h
 # End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\miniaig\minilut.h
+# End Source File
 # End Group
 # End Group
 # Begin Group "bool"
@@ -5359,6 +5415,10 @@ SOURCE=.\src\proof\acec\acec.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecCl.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\acec\acecCo.c
 # End Source File
 # Begin Source File
@@ -5383,6 +5443,10 @@ SOURCE=.\src\proof\acec\acecOrder.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecPa.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\acec\acecPo.c
 # End Source File
 # Begin Source File
@@ -5391,6 +5455,10 @@ SOURCE=.\src\proof\acec\acecPolyn.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecPool.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\acec\acecRe.c
 # End Source File
 # Begin Source File