Categories
recording

teaspoon: Solcing the Curriculum-Bases Course Timetabling Problems with Answer Set Programming