Incremental frontend for glucose solver
[satlib.git] / inc_solver.h
index 91f0d79..8e9ec18 100644 (file)
@@ -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: