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
Log in or sign up for Devpost to join the conversation.