Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

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