A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Each course can currently have only one instructor. This should be changed to allow multiple instructors to be specified per course, along with the segments for which each instructor teaches the course.
Each course can currently have only one instructor. This should be changed to allow multiple instructors to be specified per course, along with the segments for which each instructor teaches the course.