X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=blobdiff_plain;f=inc_solver.h;fp=inc_solver.h;h=8e9ec181ac1bbb903248e7df95d7300241e72341;hp=91f0d790977041c326368739684a284e76aa5e5c;hb=23cbbacd68e917a66bb1334193d4e2c53c176071;hpb=16db0f7120215c74f5a4ab47e70b97df59bf7513

diff --git a/inc_solver.h b/inc_solver.h
index 91f0d79..8e9ec18 100644
--- a/inc_solver.h
+++ b/inc_solver.h
@@ -5,15 +5,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <signal.h>
-
-
-#define IS_UNSAT 0
-#define IS_SAT 1
-#define IS_INDETER 2
-#define IS_RUNSOLVER 3
-#define IS_FREEZE 3
-
-#define BUFFERSIZE 1024
+#include "solver_interface.h"
 
 class IncrementalSolver {
  public: