Latest project file

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"