########## Pflichtvorgaben ##########

- Es soll 12 Schienen geben.

- Es soll 0 Nichtwähler geben.

- Kein Kurs darf über 29 SuS haben.

- Die Schienen 1,2 und 3 sind für D, E5 und M reserviert. Man darf die drei Fächer und die drei Schienen ignorieren.
  Kurs42_To_CNF würde dies so regeln:
        Fach-Art#D;GK#allein in Schiene (SuS optimal)#1
        Fach-Art#E5;GK#allein in Schiene (SuS optimal)#2
        Fach-Art#M;GK#allein in Schiene (SuS optimal)#3

- Kursdifferenz von 2 ist möglich.

########## Optionale Vorgaben ##########

- Pro Schiene dürfen die folgenden Facharten nur 1x vorkommen.
  Kurs42_To_CNF würde dies so regeln:
        Fach-Art#BI;GK#maximale Anzahl pro Schiene#1
        Fach-Art#CH;GK#maximale Anzahl pro Schiene#1
        Fach-Art#EK;GK#maximale Anzahl pro Schiene#1
        Fach-Art#GE;GK#maximale Anzahl pro Schiene#1
        Fach-Art#KR;GK#maximale Anzahl pro Schiene#1
        Fach-Art#KU;GK#maximale Anzahl pro Schiene#1
        Fach-Art#MU;GK#maximale Anzahl pro Schiene#1
        Fach-Art#PA;GK#maximale Anzahl pro Schiene#1
        Fach-Art#PH;GK#maximale Anzahl pro Schiene#1
        Fach-Art#PL;GK#maximale Anzahl pro Schiene#1
        Fach-Art#S1;GK#maximale Anzahl pro Schiene#1
        Fach-Art#SP;GK#maximale Anzahl pro Schiene#1
        Fach-Art#SW;GK#maximale Anzahl pro Schiene#1

- Die Fächer, von denen es nur 2 Kurse gibt, müssen optimale SuS-Verteilungen haben.
  Kurs42_To_CNF würde dies so regeln:
        Fach-Art#CH;GK#max. Kursdif. (ignoriert globale Kursdifferenz)#1
        Fach-Art#EK;GK#max. Kursdif. (ignoriert globale Kursdifferenz)#1
        Fach-Art#KR;GK#max. Kursdif. (ignoriert globale Kursdifferenz)#1
        Fach-Art#MU;GK#max. Kursdif. (ignoriert globale Kursdifferenz)#1
        Fach-Art#PH;GK#max. Kursdif. (ignoriert globale Kursdifferenz)#1
        Fach-Art#VE;VTF#max. Kursdif. (ignoriert globale Kursdifferenz)#1


