GitHub repository: potassco/teaspoon
Created: 2019-08-19T05:16:31Z
Description: ASP encodings to solve the curriculum-based course timetabling problem