constraints - スケジュール minizinc 重複なし

Question

スケジュールが重複しないようにしたいのですが、1つの時間帯に1人の先生しか予約できません。行とタイムスロットが列である教師のような2darrayを作成したい。