update

kupl · Mar 26, 2024 · 6b54133 · 6b54133
1 parent 50a0270
commit 6b54133
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -30,6 +30,9 @@ title = 'COSE419-24S'
 - Propositional Logic
     - Slides [lec4.pdf](./slides/lec4.pdf)
     - Video: [(1)](https://youtu.be/ImigmSCqyUE) [(2)](https://youtu.be/-sBjLmDF4Wk)
+- Problem Solving using SMT Solver 
+    - Slides [lec5.pdf](./slides/lec5.pdf)
+    - Video:
 
 ### Part 3: Abstract Interpretation 
 

diff --git a/content/courses/cose419/2024/slides/lec5.pdf b/content/courses/cose419/2024/slides/lec5.pdf