demands = {
    student=string();
    examiner=string();
    observer=string()
};
supplies = {
    date=int();
    shift=int();
    roomNumber=int()
};
constraints = forEach(observer).forAllCombinationsOf(date, shift).then(hasSize(1));
constraints().forEach(examiner).forAllCombinationsOf(date, shift).then(hasSize(1));
constraints().forEach(student).forAllCombinationsOf(date, shift).then(hasSize(1));
constraints().forEach(student).then(minimalDistance(date, 3));
constraints().forEach(student).then(minimalDistance(date, 5));
constraints().forAllCombinationsOf(date, shift, roomNumber).then(hasSize(1));
name = "colloquiumPlanningDemonstration";