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

Having the benchmarks as a new repo
---

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