Adding dirk-new to repo

[Benchmarks_CSolver.git] / dirk-new / csolver

diff --git a/dirk-new/csolver b/dirk-new/csolver
new file mode 120000 (symlink)
index 0000000..1ff83af
--- /dev/null
+++ b/dirk-new/csolver
@@ -0,0 +1 @@
+/scratch/satcheck/satproject/constraint_compiler/src/bin/
\ No newline at end of file