diff --git a/hw3/ZhongyiNi/answer.md b/hw3/ZhongyiNi/answer.md
new file mode 100644
index 0000000..4661cac
--- /dev/null
+++ b/hw3/ZhongyiNi/answer.md
@@ -0,0 +1 @@
+DPLL Implementation: https://github.com/nzy1997/SATSolvers.jl
\ No newline at end of file