From 97f8174ddaafa3a74b92f7a056d75491f502f48d Mon Sep 17 00:00:00 2001
From: Zayd Hammoudeh <zhammoud@ucsc.edu>
Date: Tue, 27 Feb 2018 20:59:55 -0800
Subject: [PATCH 1/2] Added a rebuild script for simplified building.

---
 rebuild.sh | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 rebuild.sh

diff --git a/rebuild.sh b/rebuild.sh
new file mode 100755
index 0000000..4fcb413
--- /dev/null
+++ b/rebuild.sh
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+# This script is used to rebuild the binary
+# for the sampler including transferring the
+# latest source code.
+BIN_NAME=sharpSAT
+
+printf "Starting the uniform sampler rebuild...\n"
+printf "Deleting the \"build\" directory...\n"
+rm -rf build &> /dev/null
+
+printf "Running the setup script...\n"
+bash setupdev.sh &> /dev/null
+cd build/Release &> /dev/null
+
+printf "Making the \"Release\" program...\n"
+make &> /dev/null
+if [ ! -f $BIN_NAME ]; then
+   printf "\033[1;31mMAKE FAILED\033[0m\n"
+fi
+
+cd ../.. &> /dev/null
+printf "Rebuild completed.\n"

From cb566e8d575f170be25b01aafc90ada95695e3d0 Mon Sep 17 00:00:00 2001
From: Zayd Hammoudeh <zayd@ucsc.edu>
Date: Sat, 10 Nov 2018 02:33:34 -0800
Subject: [PATCH 2/2] One liner fix for the timeout being broken.

---
 src/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.cpp b/src/main.cpp
index 1a95b3f..7a086a7 100755
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -50,6 +50,7 @@ int main(int argc, char *argv[]) {
         return -1;
       }
       theSolver.config().time_bound_seconds = atol(argv[i + 1]);
+      theSolver.setTimeBound(theSolver.config().time_bound_seconds);
       if (theSolver.config().verbose)
         cout << "time bound set to" << theSolver.config().time_bound_seconds << "s\n";
      } else if (strcmp(argv[i], "-cs") == 0) {