1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
30:
31:
32:

param NL >= 0;					# Anzahl an Veranstaltungen
param NP >= 0;					# Anzahl an Personen
param NR >= 0;					# Anzahl an Räumen
param NS >= 0;					# Anzahl an Zeit-Slots

set L := 1..NL;					# Menge von Veranstaltungen
set P := 1..NP;					# Menge von Personen
set R := 1..NR;					# Menge von Räumen
set S := 1..NS;					# Menge von Zeit-Slots

param C{R} >= 0;				# Raumkapazitäten
param W{P,L};					# "Affinität" einer Person zu einer Veranstaltung

var B{L,S,R} >= 0, <= 1;			# = 1 gdw. Vorlesung in Slot und Raum stattfinden soll
var A{P,L} >= 0, <= 1;				# = 1 gdw. Person Veranstaltung zugeteilt ist


maximize Zufriedenheit:
		sum {l in L, p in P} A[p,l]*W[p,l];

subject to Raumkapazitaeten {l in L, r in R, s in S}:
		B[l,s,r] * sum{p in P} A[p,l] <= C[r];

subject to MaxEinVeranstaltungProSlotUndRaum{r in R, s in S}:
		sum {l in L} B[l,s,r] <= 1;

subject to VeranstaltungGenauEinSlotUndRaum{l in L}:
		sum {s in S, r in R} B[l,s,r] = 1;

subject to PersonInMaxEinerVeranstaltungProSlot{p in P, s in S}:
		sum {l in L, r in R} B[l,s,r]*A[p,l] <= 1;