Verpflichtend ist nicht dasselbe wie wünschenswert

Eine Lehrkraft kann nicht zwei verschiedene Stunden gleichzeitig unterrichten. Ein Raum kann nicht parallel für unvereinbare Aktivitäten genutzt werden. Vertragliche Nichtverfügbarkeit bleibt verbindlich, auch wenn eine andere Belegung weniger Freistunden ergäbe.

Widersprechen sich harte Bedingungen, ist das Modell unlösbar. Möglicherweise ist aber eine Eingabe falsch oder eine Regel unnötig streng. Das bedeutet nicht, dass sich der Schulbetrieb grundsätzlich nicht organisieren lässt.

Weniger Freistunden oder keine letzte Stunde können gewichtete Ziele sein. Der Solver verbessert sie, ohne Pflichtregeln zu verletzen. Er garantiert weder sämtliche Wünsche noch immer das Optimum innerhalb des Zeitlimits.

Eine Fixierung bindet eine Stunde. Eine Doppelstunde verlangt aufeinanderfolgende Zeitfenster. Ein Band synchronisiert Aktivitäten. Kläre die Bedeutung jeder Regel im Kollegium, bevor ein Agent sie einträgt: Auch natürliche Sprache kann mehrdeutig sein.