支持硬约束与偏好规则、调课申请、实时余量和高并发选课控制。