1 files changed, 56 insertions, 8 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 4af268ff..e11e9b9e 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -1954,14 +1954,6 @@ SOURCE=.\src\map\if\ifTruth.c
 SOURCE=.\src\map\if\ifUtil.c
 # End Source File
 # End Group
-# Begin Group "ply"
-
-# PROP Default_Filter ""
-# End Group
-# Begin Group "pcm"
-
-# PROP Default_Filter ""
-# End Group
 # Begin Group "amap"
 
 # PROP Default_Filter ""
@@ -2026,6 +2018,46 @@ SOURCE=.\src\map\amap\amapRule.c
 SOURCE=.\src\map\amap\amapUniq.c
 # End Source File
 # End Group
+# Begin Group "cov"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\map\cov\cov.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covBuild.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covMinEsop.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covMinMan.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covMinSop.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\cov\covMinUtil.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "misc"
 
@@ -3547,6 +3579,10 @@ SOURCE=.\src\aig\cec\cecCec.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\cec\cecChoice.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\cec\cecClass.c
 # End Source File
 # Begin Source File
@@ -3555,6 +3591,10 @@ SOURCE=.\src\aig\cec\cecCore.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\cec\cecCorr.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\cec\cecInt.h
 # End Source File
 # Begin Source File
@@ -3651,6 +3691,10 @@ SOURCE=.\src\aig\gia\giaCof.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaCSat.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaDfs.c
 # End Source File
 # Begin Source File
@@ -3703,6 +3747,10 @@ SOURCE=.\src\aig\gia\giaMap.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaPat.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaRetime.c
 # End Source File
 # Begin Source File