You are here: Home Winter Term 2019/20 Decision Procedures … Exercises

Exercises

Additional Material for Sheet 7
Instructions, template and test file for the bonus exercise
Exercise sheet 1
submit until October 29, 2019
Exercise sheet 2
submit until November 5, 2019
Example script for sheet 2
Example for SMT-LIB 2 syntax
Exercise sheet 3
submit until November 12, 2019
Exercise sheet 4
submit until November 19, 2019
Exercise sheet 5
submit until November 26, 2019
Exercise sheet 6
submit until December 3, 2019
Exercise sheet 7
submit until December 10, 2019
Exercise sheet 8
submit until December 17, 2019
Exercise sheet 9
submit until January 07, 2020
Exercise sheet 10
submit until January 14, 2020
Exercise sheet 11
submit until January 21, 2020
Exercise sheet 12
submit until Jan 28, 2020
Exercise sheet 13
submit until Feb 04, 2020
Exercise sheet 14
submit until Feb 11, 2020