Version abc70121

1 files changed, 16 insertions, 0 deletions

diff --git a/abc.dsp b/abc.dsp
index 5efea956..c666f47d 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -1166,6 +1166,10 @@ 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
@@ -1345,6 +1349,18 @@ SOURCE=.\src\sat\bsat\satUtil.c
 SOURCE=.\src\sat\bsat\satVec.h
 # End Source File
 # End Group
+# Begin Group "proof"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\sat\proof\pr.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\proof\pr.h
+# End Source File
+# End Group
 # End Group
 # Begin Group "opt"