From ad8a3f5159a168596a3fc7b8b6956bfbcd07a277 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Oct 2012 15:09:00 -0700
Subject: New AIG optimization package.

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

(limited to 'abclib.dsp')

diff --git a/abclib.dsp b/abclib.dsp
index 9f8df5ba..b500a687 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -1962,6 +1962,26 @@ SOURCE=.\src\opt\nwk\nwkTiming.c
 SOURCE=.\src\opt\nwk\nwkUtil.c
 # End Source File
 # End Group
+# Begin Group "dau"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\dau\dau.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dau\dauCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dau\dauDsd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\dau\dauInt.h
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"
 
-- 
cgit v1.2.3