🥄 ASP encodings to solve the curriculum-based course timetabling problem - View it on GitHub