GitHub repository: IlyaVolf/University-Timetable
Description: Constraint solver written on Python + Prolog