Initial new interpolation code.

Makefile

@@ -26,9 +26,9 @@ MODULES := \
 	src/sat/bsat src/sat/csat src/sat/msat src/sat/psat src/sat/cnf src/sat/bmc \
 	src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \
 	src/bool/rsb src/bool/rpo \
-	src/proof/pdr src/proof/int src/proof/bbr src/proof/llb src/proof/live \
+	src/proof/pdr src/proof/abs src/proof/bbr src/proof/llb src/proof/live \
 	src/proof/cec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \
-	src/proof/abs src/proof/ssc \
+	src/proof/ssc src/proof/int \
 	src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \
 	src/aig/miniaig \
 	src/python 

abclib.dsp

@@ -4790,6 +4790,10 @@ SOURCE=.\src\proof\ssc\sscSim.c
 SOURCE=.\src\proof\ssc\sscUtil.c
 # End Source File
 # End Group
+# Begin Group "int2"
+
+# PROP Default_Filter ""
+# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"