projects
/
satlib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[satlib.git]
/
solver_interface.h
diff --git
a/solver_interface.h
b/solver_interface.h
index 295c52e2a5f62a167613ad28815183838377bde2..cd2f0760d54ae0e934606ca0c58c8d2b54540aa3 100644
(file)
--- a/
solver_interface.h
+++ b/
solver_interface.h
@@
-1,12
+1,14
@@
#ifndef SOLVER_INTERFACE_H
#define SOLVER_INTERFACE_H
#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_UNSAT 0
#define IS_SAT 1
#define IS_INDETER 2
-#define IS_RUNSOLVER 3
#define IS_FREEZE 3
#define IS_FREEZE 3
+#define IS_RUNSOLVER 4
-#define BUFFERSIZE 1024
+#define
IS_
BUFFERSIZE 1024
#endif
#endif