A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Home Page:https://timetabler.readthedocs.io
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool