Update on the last two weeks of the course

Dear all,

There are updates to the planning the next couple of weeks:

Tuesday Nov 12: SAT solving with Joachim Kristensen

Friday Nov 15: Exercises are canceled

Tuesday Nov 19: Repetition with Henrik

Friday Nov 22: Repetition with Henrik + Q/A with all