From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 19 Jul 2018 21:58:35 +0000 (-0700)
Subject: Revert "Having the benchmarks as a new repo"
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=884a4eecd0bafb4f0b6d11bca7e463892d284153;p=satune.git

Revert "Having the benchmarks as a new repo"

This reverts commit 6ff960b63f45a3f4d264ab265e06edccddbf9b85.
---

diff --git a/src/Benchmarks/sudoku-csolver b/src/Benchmarks/sudoku-csolver
new file mode 160000
index 0000000..58323cd
--- /dev/null
+++ b/src/Benchmarks/sudoku-csolver
@@ -0,0 +1 @@
+Subproject commit 58323cd211ec80655e816fee228b1c9d975880cd
diff --git a/src/Benchmarks_CSolver b/src/Benchmarks_CSolver
deleted file mode 160000
index c8153e6..0000000
--- a/src/Benchmarks_CSolver
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c8153e66f361f3c142b73c5877b17ceb45f92578