A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
On the project homepage "GoodDeeds/Timetabler" under the "<>Code" tab one see the following statement
"
Encode timetabling constraints as a SAT formula and solve using a MaxSAT solver to generate a Timetable for IITH https://timetabler.readthedocs.io"
The tool can be used to generate timetable for any weekly schedule. It may be good to remove the word "IITH" as it gives the wrong impression that the scope of this tool is limited for IITH fractal system only.
On the project homepage "GoodDeeds/Timetabler" under the "<>Code" tab one see the following statement
" Encode timetabling constraints as a SAT formula and solve using a MaxSAT solver to generate a Timetable for IITH https://timetabler.readthedocs.io"
The tool can be used to generate timetable for any weekly schedule. It may be good to remove the word "IITH" as it gives the wrong impression that the scope of this tool is limited for IITH fractal system only.