GitHub repository: GoodDeeds/Timetabler
Primary language: C++
Description: A highly customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver