Exercises

Exercise 1: Exercise sheet 1 - submit until 27.10.2015
Example script for sheet 2 exercise 2: Example for SMTLib 2 syntax
Exercise 10: Exercise sheet 10 -- submit until 19.01.2016
Exercise 11: Exercise sheet 11 -- submit until 26.01.2016
Exercise 12: Exercise sheet 12 -- submit until 02.02.2016
Exercise 13: Exercise sheet 13 -- submit until 09.02.2016
Exercise 2: Exercise sheet 2 - submit until 3.11.2015
Exercise 3: Exercise sheet 3 -- submit until 10.11.2015
Exercise 4: Exercise sheet 4 - submit until 17.11.2015
Exercise 5: Exercise 5 -- submit until 24.11.2015 (this is a short sheet due to the delay in its publication)
Exercise 6: Exercise sheet 6 -- submit until 1.12.2015
Exercise 7: Exercise sheet 7 -- submit until 8.12.2015
Exercise 8: Exercise sheet 8 -- submit until 15.12.2015
Exercise 9: Exercise sheet 9 -- submit until 22.12.2015
Exercise X: Exercise sheet X(-mas) -- submit until 12.1.2016