From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 13 Apr 2018 23:08:12 +0000 (-0700)
Subject: Adding benchmarks
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=44301188cb21ea0007002b3a41a16fb0e64f3cc4;p=satune.git

Adding benchmarks
---

diff --git a/src/Benchmarks/sudoku-csolver b/src/Benchmarks/sudoku-csolver
new file mode 160000
index 0000000..4a22c3f
--- /dev/null
+++ b/src/Benchmarks/sudoku-csolver
@@ -0,0 +1 @@
+Subproject commit 4a22c3f08f52ac957792d389d0518455aab3e9a1