A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
-
Updated
Sep 29, 2019 - C++
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
All the code for my International Baccelaureate Computer Science Higher Level Internal Assessment. I used the Blazor framework in conjunction with Electron.NET to create a timetable generator desktop application for school management.
Add a description, image, and links to the timetabler topic page so that developers can more easily learn about it.
To associate your repository with the timetabler topic, visit your repo's landing page and select "manage topics."