Adding interpolant computation sat_solver2.

e5ae3f28 · Alan Mishchenko · f53e56e8 · e5ae3f28
Commit e5ae3f28 authored Sep 05, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

abclib.dsp
+4 -0

No files found.
--- 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