|
 |
101e1a3 |
--- src/sat/glucose/Glucose.cpp.orig 2019-05-30 20:27:31.000000000 -0600
|
|
|
101e1a3 |
+++ src/sat/glucose/Glucose.cpp 2019-06-04 09:41:02.469658200 -0600
|
|
|
d87bf10 |
@@ -33,6 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
|
d87bf10 |
#include "sat/glucose/Solver.h"
|
|
|
d87bf10 |
#include "sat/glucose/Constants.h"
|
|
|
d87bf10 |
#include "sat/glucose/System.h"
|
|
|
d87bf10 |
+#include "misc/util/abc_global.h"
|
|
|
d87bf10 |
|
|
|
d87bf10 |
ABC_NAMESPACE_IMPL_START
|
|
|
d87bf10 |
|
|
Gabriel Somlo |
40787df |
--- src/sat/glucose2/Glucose2.cpp.orig
|
|
Gabriel Somlo |
40787df |
+++ src/sat/glucose2/Glucose2.cpp
|
|
Gabriel Somlo |
40787df |
@@ -34,6 +34,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
Gabriel Somlo |
40787df |
#include "sat/glucose2/Solver.h"
|
|
Gabriel Somlo |
40787df |
|
|
Gabriel Somlo |
40787df |
#include "sat/glucose2/CGlucose.h"
|
|
Gabriel Somlo |
40787df |
+#include "misc/util/abc_global.h"
|
|
Gabriel Somlo |
40787df |
|
|
Gabriel Somlo |
40787df |
ABC_NAMESPACE_IMPL_START
|
|
Gabriel Somlo |
40787df |
|