Automatisierte Stundenplanung in großem Maßstab in MiniZinc