Merged alanmi/abc into default

1 files changed, 32 insertions, 0 deletions

diff --git a/abclib.dsp b/abclib.dsp
index 9b1c9d94..170633e4 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -2759,10 +2759,26 @@ SOURCE=.\src\opt\sbd\sbdCore.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\opt\sbd\sbdCut.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdCut2.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\opt\sbd\sbdInt.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\opt\sbd\sbdLut.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\sbd\sbdPath.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\opt\sbd\sbdSat.c
 # End Source File
 # Begin Source File
@@ -5463,6 +5479,10 @@ SOURCE=.\src\proof\acec\acec.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecBo.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\acec\acecCl.c
 # End Source File
 # Begin Source File
@@ -5487,6 +5507,14 @@ SOURCE=.\src\proof\acec\acecInt.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecMult.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecNorm.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\acec\acecOrder.c
 # End Source File
 # Begin Source File
@@ -5515,6 +5543,10 @@ SOURCE=.\src\proof\acec\acecSt.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecTree.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\proof\acec\acecUtil.c
 # End Source File
 # End Group