Lecture tomorrow, Nov 5, cancelled

I unfortunately have to cancel the lecture tomorrow. I'm sorry for the late the announcement.

The material (SAT solvers) will be added to the lecture in two weeks. There is enough time to have both the introduction to exam questions + Q/A and the introduction to SAT solvers.