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.