Fixing a bug in constraints, class_date constraints were too strict, and were restricting valid solutions because they cared about days l and courses c such that l >= n[c], which is nonsensical.