From 002ad0f9844f4706b409e7b8e6f0d63a5b3e0eb9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Dec 2010 09:24:29 -0800
Subject: Latest project file

---
 abclib.dsp | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/abclib.dsp b/abclib.dsp
index d339a81f..d85b17ae 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -323,6 +323,10 @@ SOURCE=.\src\base\abci\abcMv.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcNpnSave.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcNtbdd.c
 # End Source File
 # Begin Source File
@@ -4038,6 +4042,46 @@ SOURCE=.\src\aig\llb\llbSched.c
 
 # PROP Default_Filter ""
 # End Group
+# Begin Group "pdr"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdr.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdr.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrClass.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrSat.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrTsim.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\xxx\pdr\pdrUtil.c
+# End Source File
+# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"
-- 
cgit v1.2.3