1 files changed, 25 insertions, 1 deletions
diff --git a/abc.dsp b/abc.dsp
index 65c1eb1a..12d5516e 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -237,6 +237,10 @@ SOURCE=.\src\base\abc\abcSweep.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abc\abcSymm.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abc\abcTiming.c
 # End Source File
 # Begin Source File
@@ -321,6 +325,10 @@ SOURCE=.\src\base\io\ioReadEdif.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\io\ioReadEqn.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\io\ioReadPla.c
 # End Source File
 # Begin Source File
@@ -345,6 +353,18 @@ SOURCE=.\src\base\io\ioWriteCnf.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\io\ioWriteDot.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\base\io\ioWriteEqn.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\base\io\ioWriteGml.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\io\ioWritePla.c
 # End Source File
 # End Group
@@ -1413,7 +1433,11 @@ SOURCE=.\src\misc\extra\extra.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\extra\extraUtilBdd.c
+SOURCE=.\src\misc\extra\extraBddMisc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\extra\extraBddSymm.c
 # End Source File
 # Begin Source File