You are here: Home Winter Term 2015/16 Decision Procedures … Exercises

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