Index of /~waldmann/ISR2015/lecture-notes/zantema

As indicated, it would be nice if the students have downloaded Yices or Z3 before my lecture starts, then we will not waste time for that then. One of them is OK, no preference which one. This may be done before the school, but somewhere earlier in the week during the school is OK too. Working in couples is an option too, so if someone fails to get the tools working, he/she may join someone else who succeeded.