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