From b1a913fb5e85ba04646632f3d771ad79bfd8a720 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 23 Jan 2007 08:01:00 -0800
Subject: Version abc70123

---
 abc.dsp | 52 ++++++++++++++++------------------------------------
 1 file changed, 16 insertions(+), 36 deletions(-)

(limited to 'abc.dsp')

diff --git a/abc.dsp b/abc.dsp
index c666f47d..3099a5ae 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -1145,42 +1145,6 @@ SOURCE=.\src\bdd\reo\reoUnits.c
 # Begin Group "sat"
 
 # PROP Default_Filter ""
-# Begin Group "asat"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\sat\asat\added.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\asatmem.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\asatmem.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\jfront.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\satTrace.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\solver.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\solver.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\sat\asat\solver_vec.h
-# End Source File
-# End Group
 # Begin Group "msat"
 
 # PROP Default_Filter ""
@@ -1326,6 +1290,10 @@ SOURCE=.\src\sat\csat\csat_apis.h
 # PROP Default_Filter ""
 # Begin Source File
 
+SOURCE=.\src\sat\bsat\satInter.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\bsat\satMem.c
 # End Source File
 # Begin Source File
@@ -1342,6 +1310,18 @@ SOURCE=.\src\sat\bsat\satSolver.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\sat\bsat\satStore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\bsat\satStore.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\bsat\satTrace.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\bsat\satUtil.c
 # End Source File
 # Begin Source File
-- 
cgit v1.2.3