problem(
professors:
profs(
'Teacher1': inDays([monday tuesday wednesday])
'Teacher2' : nil
'Teacher3' : inDays([monday tuesday wednesday])
'Teacher4': weekInterval(11#00#16#15)
'Teacher5' : inDays([monday tuesday wednesday])
'Teacher6' : nil
'Teacher7' : noT(inDays([monday]))
'Teacher8' : fix(monday#8#15)
'Teacher9' : nil
'Teacher10' : inDays([monday tuesday])
'Teacher11': nil
'Teacher12' : oR(dayInterval(monday # 8#00#12#00)
dayInterval(tuesday # 8#00#12#00)
dayInterval(wednesday#13#00#16#15))
'Teacher13' : nil
'Teacher14' : noT(inDays([monday wednesday]))
'Teacher15': inDays([monday tuesday wednesday])
'Teacher16' : nil
'Teacher17' : nil
'Teacher18' : nil
'Teacher19': weekInterval(12#45#16#15)
'Teacher20': nil
'Teacher21' : nil
'Teacher22' : nil
'Teacher23': nil
'Teacher24' : nil
'Teacher25' : nil
'Teacher26' : nil
'Teacher27': nil
'Teacher28' : nil
'Teacher29': nil
'Teacher30' : nil
'Teacher31' : nil
'Teacher32' : nil
'Teacher33' : nil
'Teacher34': nil
)
lectures:
lectures(second:
semester( vm:
[
l(name:'2.1' dur:6 size:big
professor:'Teacher1')
l(name:'2.2' dur:6 size:other
professor:'Teacher2')
l(name:'2.3' dur:6 size:other
professor:'Teacher3')
]
v4:
[
l(name:'2.4.1' dur: 6 size:small
professor:'Teacher1')
l(name:'2.4.2' dur: 6 size:small
professor:'Teacher4')
]
v5:
[
l(name:'2.5.1' dur: 6 size:small
professor:'Teacher5')
l(name:'2.5.2' dur: 6 size:small
professor:'Teacher3')
]
v6:
[
l(name:'2.6' dur: 3 size:big
professor:'Teacher6'
constraints: fix(friday#8#15))
]
v7:
[
l(name:'2.7' dur: 3 size:big
constraints: fix(thursday#10#15)
professor:'Teacher7')
]
v8:
[
l(name:'2.8.1' dur: 6 size:small
professor:'Teacher7')
l(name:'2.8.2' dur: 6 size:small
professor:'Teacher7')
]
v9:
[
l(name:'2.9' dur: 6 size:big
professor:'Teacher8')
]
v10:
[
l(name:'2.10.1' dur: 3 size:big
professor:'Teacher9')
l(name:'2.10.2' dur: 3 size:other
professor:'Teacher10')
l(name:'2.10.3' dur: 3 size:other
professor:'Teacher11')
]
v13:
[
l(name:'2.13.1' dur: 6 size:small
professor:'Teacher12')
l(name:'2.13.2' dur: 6 size:small
professor:'Teacher13')
]
v14:
[
l(name:'2.14.1' dur: 6 size:tiny
professor:'Teacher14')
l(name:'2.14.2' dur: 6 size:tiny
professor:'Teacher14')
]
v15:
[
l(name:'2.15.1' dur: 6 size:tiny
professor:'Teacher10')
l(name:'2.15.2' dur: 6 size:tiny
professor:'Teacher5')
l(name:'2.15.3' dur: 6 size:tiny
professor:'Teacher2')
l(name:'2.15.4' dur: 6 size:tiny
professor:'Teacher3')
]
)
fourth:
semester( v1:
[
l(name:'4.1' dur: 6 size: big
professor:'Teacher5')
]
v2:
[
l(name:'4.2.1' dur: 6 size: small
professor:'Teacher15')
l(name:'4.2.2' dur: 6 size: small
professor:'Teacher15')
]
v3:
[
l(name:'4.3.1' dur: 3 size: small
professor:'Teacher1')
l(name:'4.3.2' dur: 3 size: small
professor:'Teacher1')
]
v4:
[
l(name:'4.4.1' dur: 6 size: small
professor:'Teacher16')
l(name:'4.4.2' dur: 6 size: small
professor:'Teacher3')
]
v5:
[
l(name:'4.5.1' dur: 6 size: small
professor:'Teacher7')
l(name:'4.5.2' dur: 6 size: small
professor:'Teacher7')
]
v6:
[
l(name:'4.6' dur: 3 size: big
professor:'Teacher7')
]
v7:
[
l(name:'4.7.1' dur: 6 size: small
professor:'Teacher17')
l(name:'4.7.2' dur: 6 size: small
professor:'Teacher17')
]
v8:
[
l(name:'4.8.1' dur: 6 size: tiny
professor:'Teacher18')
l(name:'4.8.2' dur: 6 size: tiny
professor:'Teacher2')
l(name:'4.8.3' dur: 6 size: tiny
professor:'Teacher19')
l(name:'4.8.4' dur: 6 size: tiny
professor:'Teacher11')
]
v10:
[
l(name:'4.10.1' dur: 6 size: small
professor:'Teacher1')
l(name:'4.10.2' dur: 6 size: small
professor:'Teacher1')
]
v11:
[
l(name:'4.11' dur: 6 size: small
professor:'Teacher20')
]
v12:
[
l(name:'4.12.1' dur: 6 size: small
professor:'Teacher14')
l(name:'4.12.2' dur: 6 size: small
professor:'Teacher14')
]
)
sixth:
semester(
v2:
[
l(name:'6.2.1' dur: 6 size: small
professor:'Teacher16'
constraints:
dayInterval(wednesday#13#00#14#00))
l(name:'6.2.2' dur: 6 size: small
professor:'Teacher2'
constraints:
dayInterval(wednesday#13#00#14#00))
l(name:'6.2.3' dur: 6 size: small
professor:'Teacher26')
]
v5:
[
l(name:'6.5' dur: 6 size: small
professor:'Teacher21')
]
v6:
[
l(name:'6.6' dur: 6 size: small
professor:'Teacher7')
]
)
eighth:
semester(
v1:
[
l(name:'8.1' dur: 6 size: big
professor:'Teacher1')
]
v2:
[
l(name:'8.2' dur: 6 size: small
professor:'Teacher7')
]
v3:
[
l(name:'8.3' dur: 6 size: small
professor:'Teacher3')
]
v4:
[
l(name:'8.4' dur: 6 size: small
professor:'Teacher17')
]
v5:
[
l(name:'8.5' dur: 6 size: small
professor:'Teacher23')
]
v6:
[
l(name:'8.6' dur: 3 size: small
professor:'Teacher22')
]
v7:
% % [
l(name:'8.7.2' dur: 6 size: tiny
professor:'Teacher2')
]
v8:
[
l(name:'8.8' dur: 6 size: small
professor:'Teacher24')
]
v9:
[
l(name:'8.9' dur: 6 size: big
professor:'Teacher28')
]
v10:
[
l(name:'8.10' dur: 6 size: small
professor:'Teacher14')
]
v11:
[
l(name:'8.11.1' dur: 3 size: tiny
professor:'Teacher11'
constraints:fix(tuesday#8#15))
l(name:'8.11.2' dur: 3 size: other
professor:'Teacher2'
constraints:fix(tuesday#8#15))
]
v12:
[
l(name:'8.12.1' dur: 6 size: tiny
professor:'Teacher2'
constraints:fix(tuesday#9#15))
l(name:'8.12.2' dur: 6 size: other
professor:'Teacher11'
constraints:fix(tuesday#9#15))
]
v13:
[
l(name:'8.13.1' dur: 6 size: tiny
professor:'Teacher6')
l(name:'8.13.2' dur: 6 size: tiny
professor:'Teacher2'
constraints:fix(tuesday#11#15))
l(name:'8.13.3' dur: 6 size: other
professor:'Teacher11'
constraints:fix(tuesday#11#15))
]
v14:
[
l(name:'8.14.1' dur: 3 size: tiny
professor:'Teacher9')
l(name:'8.14.2' dur: 3 size: tiny
professor:'Teacher27'
constraints:fix(tuesday#8#15))
l(name:'8.14.3' dur: 3 size: other
professor:'Teacher29'
constraints:fix(tuesday#8#15))
]
v15:
[
l(name:'8.15.1' dur: 6 size: tiny
professor:'Teacher9'
constraints:fix(tuesday#9#15))
l(name:'8.15.2' dur: 6 size: other
professor:'Teacher27'
constraints:fix(tuesday#9#15))
]
v16:
[
l(name:'8.16.1' dur: 6 size: tiny
professor:'Teacher9'
constraints:fix(tuesday#11#15))
l(name:'8.16.2' dur: 6 size: other
professor:'Teacher27'
constraints:fix(tuesday#11#15))
l(name:'8.16.3' dur: 6 size: tiny
professor:'Teacher29')
]
v17:
[
l(name:'8.17.1' dur: 3 size: small
professor:'Teacher7')
l(name:'8.17.2' dur: 3 size: small
professor:'Teacher5'
constraints:fix(tuesday#8#15))
l(name:'8.17.3' dur: 3 size: other
professor:'Teacher3'
constraints:fix(tuesday#8#15))
]
v18:
[
l(name:'8.18.1' dur: 6 size: small
professor:'Teacher5'
constraints:fix(tuesday#9#15))
l(name:'8.18.2' dur: 6 size: other
professor:'Teacher3'
constraints:fix(tuesday#9#15))
]
v19:
[
l(name:'8.19.1' dur: 6 size: small
professor:'Teacher7')
l(name:'8.19.2' dur: 6 size: other
professor:'Teacher5'
constraints:fix(tuesday#11#15))
l(name:'8.19.3' dur: 6 size: small
professor:'Teacher3'
constraints:fix(tuesday#11#15))
]
)
medien:
lectures(
v1:
[
l(name:'M.1' dur: 3 size: other
professor:'Teacher30'
constraints:fix(tuesday#14#00))
]
v8:
[
l(name:'M.8' dur: 3 size: other
professor:'Teacher31'
constraints:fix(thursday#16#00))
]
)
fac:
lectures(
v1:
[
l(name:'F.1' dur: 3 size: small
professor:'Teacher5'
constraints:fix(monday#16#00))
]
v2:
[
l(name:'F.2.1' dur: 6 size: small
professor:'Teacher32')
l(name:'F.2.2' dur: 6 size: small
professor:'Teacher32')
]
v3:
[
l(name:'F.3' dur: 6 size: small
professor:'Teacher12')
]
v4:
[
l(name:'F.4' dur: 6 size: small
professor:'Teacher12')
]
%% v6:
[
l(name:'F.6' dur: 6 size: small
professor:'Teacher9')
]
%% v10:
[
l(name:'F.10' dur: 6 size: other
professor:'Teacher25')
]
)
))