Skip to content

Commit 48b6cb6

Browse files
UdopiaUdopia
authored
typo
1 parent ba24607 commit 48b6cb6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Lecture: Practical SAT Solving
22

3-
Summer Term 2024, Computer Science, Karlsruhe Institute of Techonolgy (KIT)
3+
Summer Term 2024, Computer Science, Karlsruhe Institute of Technology (KIT)
44

55
## Slides
66

0 commit comments

Comments
 (0)