edits
[satlib.git] / zchaff64 / sat_solver.cpp
index 618bca8..2368922 100644 (file)
@@ -38,7 +38,7 @@
 #include <fstream>
 #include <cstdlib>
 #include <cstdio>
-
+#include <string.h>
 #include <set>
 #include <vector>
 #include <dirent.h>