blob: 2a84ba18de245cb515d4c14078e37c20fbc32eab (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff --git a/sat_solver.cpp b/sat_solver.cpp
index e191881..07c0926 100644
--- a/sat_solver.cpp
+++ b/sat_solver2.cpp
@@ -43,6 +43,7 @@
#include <vector>
#include <dirent.h>
#include "SAT.h"
+#include <cstring>
using namespace std;
|