diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
index 4d8bbc4..91b411d 100644
--- a/content/courses/cose419/2024/_index.md
+++ b/content/courses/cose419/2024/_index.md
@@ -48,4 +48,4 @@ title = 'COSE419-24S'
 - [Repository](https://github.com/kupl-courses/COSE419-2024/)
 - HW1: SAT Solver [hw1.pdf](./homework/hw1.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw1) (due 4/5 23:59)
 - HW2: Problem Solving using SMT Solver (1) [hw2.pdf](./homework/hw2.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw2) (due 4/19 23:59)
-
+- HW3: Problem Solving using SMT Solver (2) [hw3.pdf](./homework/hw3.pdf) [template](https://github.com/kupl-courses/COSE419-2024/tree/main/hw3) (due 5/10 23:59)
diff --git a/content/courses/cose419/2024/homework/hw3.pdf b/content/courses/cose419/2024/homework/hw3.pdf
new file mode 100644
index 0000000..462db82
Binary files /dev/null and b/content/courses/cose419/2024/homework/hw3.pdf differ