Teacher Assistant Scheduling Problem

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.idea		.idea
Input_Output		Input_Output
Plots		Plots
Interface.py		Interface.py
MILP_formulation.py		MILP_formulation.py
Plotting.py		Plotting.py
README.md		README.md
Results.json		Results.json
SMT_formulation.py		SMT_formulation.py
ScheduleZ3_pro.py		ScheduleZ3_pro.py
Scheduler_Z3.py		Scheduler_Z3.py
course_distribution_comparison.png		course_distribution_comparison.png

Provide feedback