From 9e594d0899987d8537ba9a43ba6d17dd08618788 Mon Sep 17 00:00:00 2001
From: Zhongyi <zni573@connect.hkust-gz.edu.cn>
Date: Mon, 26 May 2025 15:54:41 +0800
Subject: [PATCH] dpll

---
 hw3/ZhongyiNi/answer.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 hw3/ZhongyiNi/answer.md

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