pu2wof / timetabler Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sukrutrao/timetabler
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
License: MIT License