Reorg code

[satune.git] / src / Backend / solver_interface.h

diff --git a/src/Backend/solver_interface.h b/src/Backend/solver_interface.h
new file mode 100644 (file)
index 0000000..4fd2dea
--- /dev/null
+++ b/src/Backend/solver_interface.h
@@ -0,0 +1,23 @@
+/*      Copyright (c) 2015 Regents of the University of California
+ *
+ *      Author: Brian Demsky <bdemsky@uci.edu>
+ *
+ *      This program is free software; you can redistribute it and/or
+ *      modify it under the terms of the GNU General Public License
+ *      version 2 as published by the Free Software Foundation.
+ */
+
+#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_FREEZE 3
+#define IS_RUNSOLVER 4
+
+#define IS_BUFFERSIZE 1024
+
+#endif