update

kupl · Apr 4, 2024 · ca96079 · ca96079
1 parent 189c000
commit ca96079
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -39,5 +39,6 @@ title = 'COSE419-24S'
 ## Assignments
 
 - [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)
+- 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)
 
diff --git a/content/courses/cose419/2024/homework/hw2.pdf b/content/courses/cose419/2024/homework/hw2.pdf