projects
/
satlib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Incremental frontend for glucose solver
[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>
#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:
class IncrementalSolver {
public: