edits

diff --git a/zchaff64/sat_solver.cpp b/zchaff64/sat_solver.cpp
index 618bca8caba9f96c54e486ac7e8dcea19ba387d8..236892226132a8d01c73aad20609ac2e09d969da 100644 (file)
--- a/zchaff64/sat_solver.cpp
+++ b/zchaff64/sat_solver.cpp
@@ -38,7 +38,7 @@
 #include <fstream>
 #include <cstdlib>
 #include <cstdio>
-
+#include <string.h>
 #include <set>
 #include <vector>
 #include <dirent.h>

diff --git a/zchaff64/zchaff_dbase.cpp b/zchaff64/zchaff_dbase.cpp
index 3e78c7fc9cc81c5fd5312ce549b5367252490b94..f21768ec5cc959d3b4e0068750d188c56d4b40e7 100644 (file)
--- a/zchaff64/zchaff_dbase.cpp
+++ b/zchaff64/zchaff_dbase.cpp
@@ -36,6 +36,7 @@
 #include <iostream>
 #include <vector>
 #include <set>
+#include <stdlib.h>
 
 using namespace std;