edits

[satlib.git] / inc_solver.h

diff --git a/inc_solver.h b/inc_solver.h
index 91f0d790977041c326368739684a284e76aa5e5c..8e9ec181ac1bbb903248e7df95d7300241e72341 100644 (file)
--- 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: