News
Office Hours/New Practical Sheet
Written on 17.05.2021 11:22 by Daniel Höller
Dear students,
Just like for the last practical exercise sheet, there will be two office hours for the current one this week. The first one is on Tuesday (May 18) at 4 pm, the second one on Thursday (May 20), right after the lecture. The links will be posted in the calendar of the CMS.
Regarding the current sheet, there have been reports about segmentation faults while executing z3 in the virtual machine on some operation systems. We updated the vm configuration file in the CMS. So when you have such problems, please use the novel one.
Best regards,
Daniel Höller