From 78d60d98a857c5683eae40ce17813be26fe5f004 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 22 May 2013 13:41:05 -0700 Subject: Counter-example depth minimization. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/abclib.dsp b/abclib.dsp index 0915e670..6b75aa7e 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -1411,6 +1411,10 @@ SOURCE=.\src\sat\bmc\bmcCexCut.c # End Source File # Begin Source File +SOURCE=.\src\sat\bmc\bmcCexDepth.c +# End Source File +# Begin Source File + SOURCE=.\src\sat\bmc\bmcCexMin1.c # End Source File # Begin Source File -- cgit v1.2.3