From e5ae3f28f7311286de65060601a51c600da993df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 5 Sep 2013 01:47:46 -0700 Subject: [PATCH] Adding interpolant computation sat_solver2. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/abclib.dsp b/abclib.dsp index 79aaf4962..59622d931 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -1287,6 +1287,10 @@ SOURCE=.\src\sat\bsat\satSolver2.h # End Source File # Begin Source File +SOURCE=.\src\sat\bsat\satSolver2i.c +# End Source File +# Begin Source File + SOURCE=.\src\sat\bsat\satStore.c # End Source File # Begin Source File