1. student attribute student string
2. examiner attribute examiner string
3. observer attribute observer string
4. date attribute date integer
5. shift attribute shift integer
6. roomNumber attribute roomNumber integer
7. demands table exams student examiner observer ...
8. supplies table available-appointments date shift roomNumber ...
9. constraints forEach observer forAllCombinationsOf date shift ... then hasSize 1
10. constraints forEach examiner forAllCombinationsOf date shift ... then hasSize 1
11. constraints forEach student forAllCombinationsOf date shift ... then hasSize 1
12. constraints forEach student then minimalDistance date 3
13. constraints forEach student then minimalDistance date 5
14. solution solution colloquiumPlanningDemonstration demands supplies
15. solution columnAttributesForOutputFormat roomNumber
16. solution rowAttributesForOutputFormat date shift