教育运筹优化工具集

高中排课涉及数百班级、教师、教室的多维约束冲突，手工调整往往耗时数周，师资紧张时更难协调。我设计的教育运筹优化工具集基于数学建模自动求解可行方案，分钟级到十余分钟自动输出排课或分班结果，覆盖常规排课到新高考走班分班全场景。

Google OR-Tools CP-SAT约束求解器，硬约束保证可行性（资源互斥/教师负荷/课程分布/固定排禁止排），软约束加权优化质量。三层决策变量处理课段分割与时段分配，8线程并行求解，4种业务模式：大走班/集中走班/分层/预分配。