This project aims to solve the course-scheduling problem using Answer Set Programming (ASP) with Clingo. It utilizes the following code files:
timetabling.lp
: This file contains the ASP program that solves the course-scheduling problem.extract_facts.py
: This Python script is used to extract relevant data and generate facts for the ASP program.tabularize_v2.py
: This Python script is used to visualize the generated schedule as an Excel file.
The following is an example of the optimized schedule generated by the ASP program:
- Run
extract_facts.py
to extract data and generate the necessary facts for the course-scheduling problem. This will generate files such astimeslots.lp
andbusy.lp
. - Run
clingo timetabling.lp
to solve the course-scheduling problem using Clingo. - Run
tabularize_v2.py
to visualize the generated schedule as an Excel file.
- Clingo: The ASP solver used to solve the course-scheduling problem.
- Python: The programming language used for data extraction and visualization.
This project is licensed under the MIT License.