diff --git a/data/Davinci_Re-Solver b/data/Davinci_Re-Solver
new file mode 100644
index 0000000000..299b2e82a7
--- /dev/null
+++ b/data/Davinci_Re-Solver
@@ -0,0 +1 @@
+https://github.com/racsuline/Davinci_Re-Solver/