Added symmetric class_date bound to polyhedral formulation, stating that a given class_date must be 0 when ds, coupled with cp and csd, implies a class does not fall on a given day.