Part of the Tech + Research track!
Automated Reasoning for Course Scheduling
A Python algorithm that utilizes Z3-Solver to automatically assign the appropriate time slot and location for a given course
A Python algorithm that utilizes Z3-Solver to automatically assign the appropriate time slot and location for a given course
Part of the Tech + Research track!
Log in or sign up for Devpost to join the conversation.