From 457e243e588e7ed5f39251784335e254a0c9e711 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 22 Dec 2005 08:01:00 -0800
Subject: Version abc51222

---
 abc.dsp | 50 +++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 49 insertions(+), 1 deletion(-)

(limited to 'abc.dsp')

diff --git a/abc.dsp b/abc.dsp
index 0d332214..fadbc83c 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -460,6 +460,10 @@ SOURCE=.\src\base\io\ioWriteList.c
 
 SOURCE=.\src\base\io\ioWritePla.c
 # End Source File
+# Begin Source File
+
+SOURCE=.\src\base\io\ioWriteVerilog.c
+# End Source File
 # End Group
 # Begin Group "main"
 
@@ -934,7 +938,7 @@ SOURCE=.\src\sat\msat\msatMem.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\msat\msatOrderH.c
+SOURCE=.\src\sat\msat\msatOrderJ.c
 # End Source File
 # Begin Source File
 
@@ -1265,6 +1269,50 @@ SOURCE=.\src\opt\sim\simSymStr.c
 SOURCE=.\src\opt\sim\simUtils.c
 # End Source File
 # End Group
+# Begin Group "xyz"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyz.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzBuild.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzMinEsop.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzMinMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzMinSop.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzMinUtil.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\xyz\xyzTest.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"
 
-- 
cgit v1.2.3