A simple SMT-based schedule generator for cyclic executives of real-time tasks
-
Updated
Nov 16, 2023 - Python
A simple SMT-based schedule generator for cyclic executives of real-time tasks
A program which, based on relative demand in all of Norway's airports, tries to construct an optimal schedule given a fleet of planes and restrictions on which routes should be generated. Is not complete; the program is yet to prioritize multiple flights on one route, for example.
Course schedule generator for University of Manitoba students
Add a description, image, and links to the schedule-generator topic page so that developers can more easily learn about it.
To associate your repository with the schedule-generator topic, visit your repo's landing page and select "manage topics."