#ifndef SOLVER_INTERFACE_H
#define SOLVER_INTERFACE_H
+#define IS_OUT_FD 3
+
#define IS_UNSAT 0
#define IS_SAT 1
#define IS_INDETER 2
-#define IS_RUNSOLVER 3
#define IS_FREEZE 3
+#define IS_RUNSOLVER 4
-#define BUFFERSIZE 1024
+#define IS_BUFFERSIZE 1024
#endif