Contents:

• exams-2020-06-17 contains the exam template, with the generated exams and problems in subfolders exam-$N.
• generator contains the Haskell program to generate problems 1, 2, and 4.
• problems/smt contains the template for problem 2.
• problems/sup contains the Python program to generate problem 3.