GitHub repository: nagasai-iitr/Timetabler
Description: A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver