summaryrefslogtreecommitdiffstats
path: root/abc.dsp
diff options
context:
space:
mode:
Diffstat (limited to 'abc.dsp')
-rw-r--r--abc.dsp16
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"