You are here: Home › … › … › Decision Procedures … › Exercises › Additional Material for Sheet …

Additional Material for Sheet 7

Instructions, template and test file for the bonus exercise
Instructions
Template File
Test File