【文件属性】：
文件名称：排程器
文件大小：11KB
文件格式：ZIP
更新时间：2021-03-04 10:17:32
Python
约束稳定调度程序
依存关系
python （版本> = 3.7）-仅在3.8和3.9下进行了测试
z3 （可以通过pip pip3 install z3-solver ）
文件架构
scheduler.py入口点程序
其它文件：
config.py用于生成所有可能时间的基本配置
course.py课程类别定义
room.py房间类别的定义
day.py天枚举定义
time_slot.py - time_slot.py类定义以及其他时间资源
lab.py实验室类定义
identifiable.py可识别结构（ Room ， Day ， TimeSlot ， Lab ）的抽象基类定义
约束建模
分配了教特定课程的教师
教师具有“一天中的时间”和“一周中的一天”首选项，其中不会将其分配到其指定窗口之外的任何时间段
教授同一课程的两个部分的教师会将两个部分都分配给另一个。 这些课程也将在同一房间
【文件预览】：
Scheduler-main
----.gitignore(37B)
----scheduler.py(10KB)
----identifiable.py(951B)
----day.py(643B)
----LICENSE(1KB)
----time_slot.py(5KB)
----README.md(2KB)
----config.py(2KB)
----course.py(2KB)
----sample.json(3KB)
----room.py(358B)
----lab.py(357B)