slurcode

satlecture · May 7, 2024 · 88ed179 · 88ed179
1 parent 1e47fa6
commit 88ed179
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -14,9 +14,11 @@ Summer Term 2024
 - [Tuesday, April 23: Assignment 1 (Coloring and Sudoku Competitions, Pythagorean Triples, Tseitin Encoding)](exercises/ex1.pdf)
 - [Tuesday, May 7: Assignment 2 (Tetris and Local Search Competitions, Resolution, Hidden Horn)](exercises/ex2.pdf)
 
-## Slides used in the Exercises
+## Slides and Code used in the Exercises
 
 - [Cumulative Slideset](slides/exercises.pdf)
+- Code Example: [SLUR Satisfier](code/src/slursat.cc)
+- Code Example: [Trail Class with Propagate and Backtracking](code/src/trail.h)
 
 ## Code
 

diff --git a/slides/exercises.pdf b/slides/exercises.pdf