diff -r -u MiniSatOriginal/Alg.h MiniSatChanged/Alg.h
--- MiniSatOriginal/Alg.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/Alg.h	2007-01-31 17:08:35.000000000 -0800
@@ -20,6 +20,8 @@
 #ifndef Alg_h
 #define Alg_h
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // Useful functions on vectors
 
@@ -54,4 +56,6 @@
     return j < ts.size();
 }
 
+}
+
 #endif
diff -r -u MiniSatOriginal/BasicHeap.h MiniSatChanged/BasicHeap.h
--- MiniSatOriginal/BasicHeap.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/BasicHeap.h	2007-01-31 17:08:35.000000000 -0800
@@ -22,6 +22,8 @@
 
 #include "Vec.h"
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // A heap implementation with support for decrease/increase key.
 
@@ -93,6 +95,7 @@
     int  getmin    ()      { return removeMin(); }
 };
 
+}
 
 //=================================================================================================
 #endif
diff -r -u MiniSatOriginal/BoxedVec.h MiniSatChanged/BoxedVec.h
--- MiniSatOriginal/BoxedVec.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/BoxedVec.h	2007-01-31 17:08:35.000000000 -0800
@@ -24,6 +24,8 @@
 #include <cassert>
 #include <new>
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // Automatically resizable arrays
 //
@@ -143,5 +145,6 @@
 
 };
 
+}
 
 #endif
diff -r -u MiniSatOriginal/Heap.h MiniSatChanged/Heap.h
--- MiniSatOriginal/Heap.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/Heap.h	2007-01-31 17:08:35.000000000 -0800
@@ -22,6 +22,8 @@
 
 #include "Vec.h"
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // A heap implementation with support for decrease/increase key.
 
@@ -164,6 +166,7 @@
 
 };
 
+}
 
 //=================================================================================================
 #endif
diff -r -u MiniSatOriginal/Map.h MiniSatChanged/Map.h
--- MiniSatOriginal/Map.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/Map.h	2007-01-31 17:08:35.000000000 -0800
@@ -24,6 +24,8 @@
 
 #include "Vec.h"
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // Default hash/equals functions
 //
@@ -115,4 +117,6 @@
     }
 };
 
+}
+
 #endif
diff -r -u MiniSatOriginal/Queue.h MiniSatChanged/Queue.h
--- MiniSatOriginal/Queue.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/Queue.h	2007-01-31 17:08:35.000000000 -0800
@@ -22,6 +22,8 @@
 
 #include "Vec.h"
 
+namespace oagMiniSat {
+
 //=================================================================================================
 
 
@@ -78,5 +80,7 @@
 //    }
 //};
 
+}
+
 //=================================================================================================
 #endif
diff -r -u MiniSatOriginal/Solver.cpp MiniSatChanged/Solver.cpp
--- MiniSatOriginal/Solver.cpp	2007-01-31 16:59:37.000000000 -0800
+++ MiniSatChanged/Solver.cpp	2007-01-31 17:08:35.000000000 -0800
@@ -21,6 +21,7 @@
 #include "Sort.h"
 #include <cmath>
 
+namespace oagMiniSat {
 
 //=================================================================================================
 // Constructor/Destructor:
@@ -739,3 +740,5 @@
         assert((int)clauses_literals == cnt);
     }
 }
+
+}
diff -r -u MiniSatOriginal/Solver.h MiniSatChanged/Solver.h
--- MiniSatOriginal/Solver.h	2007-01-31 16:59:37.000000000 -0800
+++ MiniSatChanged/Solver.h	2007-01-31 17:08:35.000000000 -0800
@@ -28,6 +28,7 @@
 
 #include "SolverTypes.h"
 
+namespace oagMiniSat {
 
 //=================================================================================================
 // Solver -- the main class:
@@ -297,6 +298,7 @@
     }
 }
 
+}
 
 //=================================================================================================
 #endif
diff -r -u MiniSatOriginal/SolverTypes.h MiniSatChanged/SolverTypes.h
--- MiniSatOriginal/SolverTypes.h	2007-01-31 16:59:37.000000000 -0800
+++ MiniSatChanged/SolverTypes.h	2007-01-31 17:08:35.000000000 -0800
@@ -17,13 +17,14 @@
 OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 **************************************************************************************************/
 
-
 #ifndef SolverTypes_h
 #define SolverTypes_h
 
 #include <cassert>
 #include <stdint.h>
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // Variables, literals, lifted booleans, clauses:
 
@@ -194,4 +195,6 @@
     calcAbstraction();
 }
 
+}
+
 #endif
diff -r -u MiniSatOriginal/Sort.h MiniSatChanged/Sort.h
--- MiniSatOriginal/Sort.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/Sort.h	2007-01-31 17:08:35.000000000 -0800
@@ -22,6 +22,8 @@
 
 #include "Vec.h"
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // Some sorting algorithms for vec's
 
@@ -88,6 +90,7 @@
 template <class T> void sort(vec<T>& v) {
     sort(v, LessThan_default<T>()); }
 
+}
 
 //=================================================================================================
 #endif
diff -r -u MiniSatOriginal/Vec.h MiniSatChanged/Vec.h
--- MiniSatOriginal/Vec.h	2007-01-31 16:59:47.000000000 -0800
+++ MiniSatChanged/Vec.h	2007-01-31 17:08:35.000000000 -0800
@@ -24,6 +24,8 @@
 #include <cassert>
 #include <new>
 
+namespace oagMiniSat {
+
 //=================================================================================================
 // Automatically resizable arrays
 //
@@ -129,5 +131,6 @@
         sz = 0;
         if (dealloc) free(data), data = NULL, cap = 0; } }
 
+}
 
 #endif
diff -r -u MiniSatOriginal/sat_main/sat_main.cpp MiniSatChanged/sat_main/sat_main.cpp
--- MiniSatOriginal/sat_main/sat_main.cpp	2007-01-31 16:59:37.000000000 -0800
+++ MiniSatChanged/sat_main/sat_main.cpp	2007-01-31 17:08:35.000000000 -0800
@@ -31,14 +31,21 @@
 #ifdef _MSC_VER
 #include <ctime>
 
+namespace oagMiniSat {
+
 static inline double cpuTime(void) {
     return (double)clock() / CLOCKS_PER_SEC; }
+
+}
+
 #else
 
 #include <sys/time.h>
 #include <sys/resource.h>
 #include <unistd.h>
 
+namespace oagMiniSat {
+
 static inline double cpuTime(void) {
     struct rusage ru;
     getrusage(RUSAGE_SELF, &ru);
@@ -74,6 +81,8 @@
 static inline uint64_t memUsed() { return 0; }
 #endif
 
+}
+
 #if defined(__linux__)
 #include <fpu_control.h>
 #endif
@@ -83,6 +92,8 @@
 
 #define CHUNK_LIMIT 1048576
 
+namespace oagMiniSat {
+
 class StreamBuffer {
     gzFile  in;
     char    buf[CHUNK_LIMIT];
@@ -230,6 +241,9 @@
         return NULL;
 }
 
+}
+
+using namespace oagMiniSat;
 
 int main(int argc, char** argv)
 {
