summaryrefslogtreecommitdiffstats
path: root/abcexe.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-11-14 17:17:26 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2020-11-14 17:17:26 -0800
commitfef0c368bc64bb9e8109c4d2adcdde9fed0f7399 (patch)
tree3c95b96e8504243f02747db766e714c8a602d5ba /abcexe.dsp
parentbab4c1ddfc3e7bb88d649daed8bd412a98850cf9 (diff)
downloadabc-fef0c368bc64bb9e8109c4d2adcdde9fed0f7399.tar.gz
abc-fef0c368bc64bb9e8109c4d2adcdde9fed0f7399.tar.bz2
abc-fef0c368bc64bb9e8109c4d2adcdde9fed0f7399.zip
Improvements to the SAT sweeper.
Diffstat (limited to 'abcexe.dsp')
-rw-r--r--abcexe.dsp4
1 files changed, 0 insertions, 4 deletions
diff --git a/abcexe.dsp b/abcexe.dsp
index 368837c8..9d5152fc 100644
--- a/abcexe.dsp
+++ b/abcexe.dsp
@@ -88,10 +88,6 @@ LINK32=link.exe
# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
# Begin Source File
-SOURCE=.\src\proof\cec\cecSatG2.c
-# End Source File
-# Begin Source File
-
SOURCE=.\src\base\main\main.c
# End Source File
# End Group