A szakdolgozat témája egy iskola órarendjének elkészítése kényszer kielégítési módszerek alkalmazásával. Az órarend tervezésekor figyelembe vesszük a kerettantervet, a tanári igényeket, illetve az épület termeiből adódó korlátokat. Az önálló munka legjelentősebb része a konkrét órarendre vonatkozó természetes nyelven megfogalmazott korlátok átírása a megfelelő formális nyelvre. A feladat helyes logikai megfogalmazása után a végrehajtást rábízzuk a CLPFD rendszerre, amely az SWI-Prolog környezeten alapul.