文件名称：排程器
文件大小：11KB
文件格式：ZIP
更新时间：2024-03-24 04:04:12
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)