edits
authorBrian Demsky <bdemsky@uci.edu>
Sat, 24 Jan 2015 05:09:56 +0000 (21:09 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Sat, 24 Jan 2015 05:09:56 +0000 (21:09 -0800)
zchaff64/sat_solver.cpp
zchaff64/zchaff_dbase.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>
index 3e78c7f..f21768e 100644 (file)
@@ -36,6 +36,7 @@
 #include <iostream>
 #include <vector>
 #include <set>
+#include <stdlib.h>
 
 using namespace std;