[ { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l3 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l3", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Sanjay as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'DevOps' taught by Prof. Syed: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'NSS' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "nss", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Vikas Kumar's 'SEPM (Soft. Engg)' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "vikas_sepm_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "vikas_sepm_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'NSS' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'CN Lab' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cnlab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'ML Lab' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_mllab_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_mllab_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Env. Studies' taught by Ms. Krithika: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "krithika_evs_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "krithika_evs_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Praveen as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'ML' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ml", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Sanjay's 'GenAI' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_genai_6b-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_genai_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 2 as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'GenAI' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "genai", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Jovin as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Mr. Vikas Kumar.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 2 as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'SEPM (Soft. Engg)' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "sepm", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Anu as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Syed as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Ms. Krithika.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Theory of Comp.' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "toc", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Comp. Networks' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cn", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "'SEPM (Soft. Engg)' is a tough course, morning would be better.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "sepm", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'DevOps' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "devops", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'NLP' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "nlp", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "'NLP' is a tough course, morning would be better.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "nlp", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Tahir as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NoSQL DB' taught by Prof. Praveen: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Mr. Rahul Bharath.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'Mini Project' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "miniproj", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Sanjay has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Mr. Vikas Kumar.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Project' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "major", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r3 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r3", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Dr. Kavitha as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Anu as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r3 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r3", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "'Comp. Networks' is a tough course, morning would be better.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cn", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'NLP Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "nlplab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r1 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r1", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Prof. Surbhi.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Rahul Bharath is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Soft Skills Trainer.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Tahir as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Prof. Anu.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Praveen as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "'ML' is a tough course, morning would be better.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ml", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 1 is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Ms. Krithika.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Adrash's 'Forum' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_forum_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_forum_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'GenAI' taught by Prof. Sanjay: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_genai_6a-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_genai_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'Project' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "major", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r1 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r1", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room l1 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l1", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 1: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Spread the 3 weekly hours for 'Analog Circuits' across the week, not just on Monday and Tuesday.", "output": { "constraint_type": "balanced_weekly_distribution", "entity_type": "subject", "entity_name": "Analog Circuits", "parameters": { "weekly_hours": 3 }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l4 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l4", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l2 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l2", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room l3 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l3", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Prof. Syed.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Vikas Kumar as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Adrash's 'CN Lab' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_cnlab_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_cnlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'NoSQL DB' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 1 is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Anu as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The Physics Lab (PHY201L) must take place in the designated lab room.", "output": { "constraint_type": "resource_assignment", "entity_type": "course", "entity_name": "PHY201L", "parameters": { "required_room_type": "designated_lab" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'ML Lab' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "mllab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NSS' taught by Prof. Nanda: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP Lab' taught by Prof. Anu: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlplab_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlplab_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Prof. Anu.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'DevOps' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "devops", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ms. Krithika has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Prof. Jovin.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Soft Skills Trainer as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Soft Skills Trainer.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "'Theory of Comp.' is a tough course, morning would be better.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "toc", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r2 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r2", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For the CS305 lab, the CSE-A section of 60 students must be split into batches of 20 because the lab has only 20 computers.", "output": { "constraint_type": "lab_batch_division", "entity_type": "section", "entity_name": "CSE-A", "parameters": { "course": "CS305", "total_students": 60, "capacity_per_batch": 20 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Tahir's 'Cloud' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "tahir_cc_6a-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "tahir_cc_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Soft Skills Trainer.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'RM & IPR' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Soft Skills Trainer as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Soft Skills Trainer as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'NoSQL DB' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'Comp. Networks' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Professor Sharma cannot teach two different classes at the same time.", "output": { "constraint_type": "no_faculty_clash", "entity_type": "faculty", "entity_name": "Professor Sharma", "parameters": {}, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for OE Teacher 1.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'Data Vis Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "dvlab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 2's 'OE' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'DevOps' taught by Prof. Syed: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "syed_devops_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "syed_devops_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Prof. Nanda.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Prof. Praveen.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Praveen as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Tahir as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r4 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r4", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Data Vis Lab' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "dvlab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 1 is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP Lab' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlplab_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlplab_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'NLP Lab' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "nlplab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for OE Teacher 1.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'RM & IPR' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_rmipr_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_rmipr_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Prof. Surbhi.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Ms. Krithika as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Prof. Jovin.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 2: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Dr. Kavitha.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Adrash as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'GenAI' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "genai", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Syed's 'DevOps' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'HCI' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_hcai_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_hcai_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Prof. Nanda.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Project' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "major", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Abhijith as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'HCI' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_hcai_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_hcai_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Sanjay has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Sanjay's 'Mini Project' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_miniproj_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_miniproj_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Comp. Networks' taught by Prof. Adrash: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_cn_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_cn_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NoSQL DB' taught by Prof. Praveen: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Cloud' taught by Prof. Tahir: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "tahir_cc_6a-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "tahir_cc_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Jovin's 'Data Vis Lab' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_dvlab_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_dvlab_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Dr. Kavitha as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'GenAI' taught by Prof. Sanjay: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_genai_6b-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_genai_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'ML Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "mllab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Prof. Tahir.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'IKS' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_iks_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_iks_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Mini Project' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "miniproj", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Rahul Bharath as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "'Project' is a tough course, morning would be better.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "major", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'CN Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cnlab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'DevOps' taught by Prof. Syed: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'GenAI' taught by Prof. Sanjay: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_genai_6b-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_genai_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Rao wants to keep Fridays free if possible.", "output": { "constraint_type": "faculty_time_preference", "entity_type": "faculty", "entity_name": "Dr. Rao", "parameters": { "prefer_day_off": "Friday" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room l2 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l2", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Professor Gupta is on emergency leave today. Re-optimize today's schedule for his classes.", "output": { "constraint_type": "emergency_reoptimization", "entity_type": "faculty", "entity_name": "Professor Gupta", "parameters": { "reason": "sudden_leave", "scope": "partial_timetable" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Nanda as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Prof. Nanda.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 2 as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'RM & IPR' taught by Prof. Anu: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for OE Teacher 2.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'CN Lab' taught by Prof. Adrash: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_cnlab_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_cnlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Ms. Krithika.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'NSS' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "nss", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Vikas Kumar as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 1 is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'NoSQL DB' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Priya's total teaching load should not exceed 18 hours per week.", "output": { "constraint_type": "faculty_workload_limit", "entity_type": "faculty", "entity_name": "Dr. Priya", "parameters": { "max_hours_per_week": 18 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Mr. Abhijith.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for OE Teacher 2.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Cloud' taught by Prof. Tahir: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "tahir_cc_6b-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "tahir_cc_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Abhijith's 'Data Vis Lab' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Jovin as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'CN Lab' taught by Prof. Adrash: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_cnlab_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_cnlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP Lab' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlplab_6a-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlplab_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Comp. Networks' taught by Prof. Anu: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 2 as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Don't schedule 'Advanced Mathematics' in the last period of the day.", "output": { "constraint_type": "avoid_end_of_day_heavy_subject", "entity_type": "subject", "entity_name": "Advanced Mathematics", "parameters": {}, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room l4 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l4", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Soft Skills Trainer.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Sanjay's 'Mini Project' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_miniproj_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_miniproj_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Project' taught by Prof. Jovin: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 1 as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Mr. Vikas Kumar.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP' taught by Prof. Anu: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Tahir as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Prof. Sanjay.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Surbhi as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Jovin as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'SEPM (Soft. Engg)' taught by Mr. Vikas Kumar: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "vikas_sepm_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "vikas_sepm_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'RM & IPR' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Syed as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML Lab' taught by Dr. Kavitha: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_mllab_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_mllab_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Dr. Kavitha.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Adrash's 'Comp. Networks' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_cn_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_cn_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NoSQL DB' taught by Prof. Praveen: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Prof. Jovin.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'SEPM (Soft. Engg)' taught by Mr. Vikas Kumar: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "vikas_sepm_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "vikas_sepm_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 2: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Abhijith as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 1's 'OE' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP Lab' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlplab_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlplab_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Vikas Kumar as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Soft Skills Trainer's 'Soft Skills' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "soft_softskill_6a-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "soft_softskill_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The 'Digital Signal Processing' class needs a room with a projector.", "output": { "constraint_type": "room_preference", "entity_type": "subject", "entity_name": "Digital Signal Processing", "parameters": { "required_equipment": "projector" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP' taught by Prof. Anu: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 1's 'OE' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 1: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Project' taught by Prof. Jovin: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_major_6a-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_major_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Rahul Bharath's 'Theory of Comp.' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_toc_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_toc_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Aim for a balanced number of credits per day for students to avoid overload.", "output": { "constraint_type": "credit_based_allocation", "entity_type": "student_group", "entity_name": "ALL", "parameters": { "goal": "balanced_daily_load" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Adrash has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 2: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Dr. Kavitha.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Mr. Abhijith.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 2 as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Rahul Bharath as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ms. Krithika is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Prof. Surbhi.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 1's 'OE' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Soft Skills Trainer as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ms. Krithika is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Surbhi's 'Forum' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "surbhi_forum_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "surbhi_forum_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Sanjay as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Preferentially assign senior faculty like Dr. Murthy to core subjects.", "output": { "constraint_type": "faculty_designation_preference", "entity_type": "faculty_rank", "entity_name": "senior", "parameters": { "assign_to": "core_subjects" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Vikas Kumar as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Env. Studies' taught by Ms. Krithika: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "krithika_evs_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "krithika_evs_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 2 has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NSS' taught by Prof. Nanda: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_nss_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_nss_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Prof. Tahir.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 2: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Abhijith is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Forum' taught by Prof. Adrash: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_forum_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_forum_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'IKS' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_iks_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_iks_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r2 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r2", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The subject 'Advanced Calculus' (MA401) requires exactly 4 hours per week.", "output": { "constraint_type": "subject_weekly_hours", "entity_type": "subject", "entity_name": "MA401", "parameters": { "hours": 4, "subject_type": "theory" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Vikas Kumar's 'SEPM (Soft. Engg)' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "vikas_sepm_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "vikas_sepm_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'NSS' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_nss_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_nss_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 2's 'OE' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'OE' taught by OE Teacher 2: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule consecutive classes for the ECE department in the same building to reduce movement.", "output": { "constraint_type": "minimize_campus_movement", "entity_type": "department", "entity_name": "ECE", "parameters": { "strategy": "same_building_consecutive" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The instructor for the ECE lab must be the same for the entire 3-hour session.", "output": { "constraint_type": "consistent_instructor_for_block", "entity_type": "course_type", "entity_name": "lab", "parameters": {}, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Comp. Networks' taught by Prof. Anu: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for OE Teacher 1.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Adrash is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The institutional lunch break is from 1:00 PM to 2:00 PM and no classes can be scheduled then.", "output": { "constraint_type": "time_unavailability", "entity_type": "global", "entity_name": "institution", "parameters": { "reason": "Lunch Break", "between_times": [ "13:00", "14:00" ] }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'Comp. Networks' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cn_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Soft Skills Trainer's 'Soft Skills' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "soft_softskill_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "soft_softskill_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Cloud' taught by Prof. Tahir: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "tahir_cc_6a-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "tahir_cc_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Surbhi has requested a day off on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The 5th semester ISE students cannot have 'Data Structures' and 'Algorithms' scheduled at the same time.", "output": { "constraint_type": "no_section_clash", "entity_type": "student_group", "entity_name": "5th Sem ISE", "parameters": {}, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Dr. Kavitha as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Prof. Tahir.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML Lab' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_mllab_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_mllab_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Project' taught by Prof. Jovin: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'RM & IPR' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_rmipr_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_rmipr_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Prof. Sanjay.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Prof. Syed.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ms. Krithika is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Sanjay is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "All lab sessions must be scheduled as continuous 3-hour blocks.", "output": { "constraint_type": "lab_block_duration", "entity_type": "course_type", "entity_name": "lab", "parameters": { "duration_hours": 3, "continuous": true }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Soft Skills Trainer is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 1's 'OE' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_1_oe_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Rahul Bharath's 'Theory of Comp.' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_toc_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_toc_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Adrash is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Syed's 'DevOps' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "syed_devops_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "syed_devops_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ms. Krithika is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Prof. Adrash.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Tahir's 'Cloud' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "tahir_cc_6b-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "tahir_cc_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Theory of Comp.' taught by Mr. Rahul Bharath: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP' taught by Prof. Anu: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Prof. Tahir.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Rahul Bharath is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Soft Skills Trainer.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "soft", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Soft Skills' taught by Soft Skills Trainer: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "soft_softskill_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "soft_softskill_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'CN Lab' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cnlab_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cnlab_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Susan is on pre-approved leave and is unavailable for the entire next week.", "output": { "constraint_type": "leave_availability", "entity_type": "faculty", "entity_name": "Dr. Susan", "parameters": { "unavailability": "next week" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP Lab' taught by Prof. Anu: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlplab_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlplab_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Prof. Praveen.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Rahul Bharath has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'IKS' taught by Prof. Praveen: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_iks_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_iks_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Jovin's 'Project' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_major_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_major_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Mr. Rahul Bharath.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Adrash as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Prof. Anu.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Syed as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Anu has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r4 can only hold 80 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r4", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "If possible, schedule lab sessions in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "course_type", "entity_name": "lab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Prof. Tahir.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Adrash is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Sanjay's 'GenAI' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "sanjay_genai_6a-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "sanjay_genai_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Rahul Bharath's 'Theory of Comp.' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Rahul Bharath as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Vikas Kumar as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l1 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l1", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP' taught by Prof. Anu: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML Lab' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_mllab_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_mllab_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Abhijith as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Abhijith's 'Data Vis Lab' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Soft Skills' taught by Soft Skills Trainer: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "soft_softskill_6a-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "soft_softskill_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Tahir's 'Cloud' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "tahir_cc_6b-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "tahir_cc_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Jovin's 'Project' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try not to schedule the same theory subject, like 'Microprocessors', more than once on the same day.", "output": { "constraint_type": "avoid_daily_subject_repetition", "entity_type": "subject", "entity_name": "Microprocessors", "parameters": { "subject_type": "theory" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Anand prefers not to take the first hour of the day.", "output": { "constraint_type": "faculty_time_preference", "entity_type": "faculty", "entity_name": "Mr. Anand", "parameters": { "avoid_slot": "first_hour" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Rahul Bharath's 'Theory of Comp.' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'SEPM (Soft. Engg)' taught by Mr. Vikas Kumar: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "vikas_sepm_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "vikas_sepm_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Prof. Jovin.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "When Dr. Verma teaches CSE-A, CSE-B, and ISE-A, make sure none of her classes for these sections clash.", "output": { "constraint_type": "shared_faculty_multi_section", "entity_type": "faculty", "entity_name": "Dr. Verma", "parameters": { "sections": [ "CSE-A", "CSE-B", "ISE-A" ] }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Prof. Nanda.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'RM & IPR' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_rmipr_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Project' taught by Prof. Jovin: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jovin_major_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room LH-301 can only be used for one class at any given moment.", "output": { "constraint_type": "no_room_clash", "entity_type": "room", "entity_name": "LH-301", "parameters": {}, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'HCI' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_hcai_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_hcai_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Surbhi as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'IKS' taught by Prof. Praveen: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_iks_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_iks_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Adrash as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'HCI' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_hcai_6a-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_hcai_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The classroom CR-205 has a seating capacity of 65 and should not be over-allocated.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "CR-205", "parameters": { "capacity": 65 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP' taught by Prof. Anu: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML Lab' taught by Prof. Praveen: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_mllab_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_mllab_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 1 as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Mr. Abhijith.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Mr. Vikas Kumar.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Adrash is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Ms. Krithika as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'CN Lab' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cnlab_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cnlab_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "A common slot must be assigned for the 5th and 6th semester elective subjects.", "output": { "constraint_type": "common_slot_for_electives", "entity_type": "student_group", "entity_name": [ "5th Sem", "6th Sem" ], "parameters": {}, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Nanda as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Dr. Kavitha is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Prof. Surbhi.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "surbhi", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Ms. Krithika as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP Lab' taught by Prof. Anu: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlplab_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlplab_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Spread out tough subjects like 'Control Systems' and 'Thermodynamics' evenly through the week, don't cluster them.", "output": { "constraint_type": "distribute_load_evenly", "entity_type": "global", "entity_name": "ALL", "parameters": { "subject_category": "tough" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin is not able to take any classes on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Anu as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Jovin as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'ML Lab' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_mllab_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_mllab_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Syed is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin has requested a day off on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "The total continuous scheduled time for any section before lunch must be limited to 6 hours.", "output": { "constraint_type": "max_stretch_limit", "entity_type": "student_group", "entity_name": "ALL", "parameters": { "limit_hours": 6 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nanda is not able to take any classes on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nanda", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Prof. Syed.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "syed", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NLP' taught by Prof. Anu: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 1 as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen has requested a day off on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For OE Teacher 2's 'OE' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "oe_fac_2_oe_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'ML' taught by Dr. Kavitha: It must not be on Monday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E2", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6b-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NoSQL DB' taught by Prof. Praveen: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for OE Teacher 2.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_2", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anu's 'NLP' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_nlp_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Data Vis Lab' taught by Mr. Abhijith: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Nanda's 'NSS' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Sanjay as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Prof. Anu.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mr. Vikas Kumar is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "vikas", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ms. Krithika is not able to take any classes on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "krithika", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Rahul Bharath's 'Theory of Comp.' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_toc_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 1 has requested a day off on Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Sanjay is not able to take any classes on Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for OE Teacher 1.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Abhijith as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Mr. Abhijith as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "abhijith", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Tahir as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Thursday for Prof. Sanjay.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Jovin is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jovin", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'NSS' taught by Prof. Nanda: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nanda_nss_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Sanjay is not able to take any classes on Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Praveen as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Data Vis Lab' taught by Mr. Abhijith: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "abhijith_dvlab_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Adrash has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adrash", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Tuesday for Mr. Rahul Bharath.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rahul", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "CSE-A and CSE-B must have 'Computer Networks' at the same time for a combined session.", "output": { "constraint_type": "parallel_section_constraint", "entity_type": "subject", "entity_name": "Computer Networks", "parameters": { "sections": [ "CSE-A", "CSE-B" ] }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Tahir is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "tahir", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Prof. Praveen.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Praveen is not able to take any classes on Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "praveen", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'NoSQL DB' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_nosql_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_nosql_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Anu as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Syed's 'DevOps' class, please avoid Monday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "syed_devops_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Prof. Sanjay.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanjay", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Students should not have more than 4 theory classes in a row.", "output": { "constraint_type": "max_consecutive_hours", "entity_type": "student_group", "entity_name": "ALL", "parameters": { "limit": 4, "class_type": "theory" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Comp. Networks' taught by Prof. Adrash: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adrash_cn_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adrash_cn_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'CN Lab' taught by Prof. Anu: It must not be on Wednesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anu_cnlab_5b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anu_cnlab_5b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Praveen's 'IKS' class, please avoid Tuesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "praveen_iks_6b-E1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "praveen_iks_6b-E1", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Prof. Anu.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anu", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Dr. Kavitha as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavitha", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Core theoretical subjects should preferably be scheduled in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject_category", "entity_name": "core_theory", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Dr. Kavitha's 'ML' class, please avoid Wednesday and also try to keep it in the Main building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E2", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kavitha_ml_6a-E2", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OE Teacher 1 has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_1", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please minimize the free hour gaps for Professor Menon between his classes.", "output": { "constraint_type": "minimize_faculty_gaps", "entity_type": "faculty", "entity_name": "Professor Menon", "parameters": {}, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r10 does not surpass 120 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r10", "parameters": { "capacity": 120 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Aditi as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "aditi", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Blockchain' taught by Prof. Kiran: It must not be on Friday, and a room in the Tech Tower is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "kiran_blockchain_7a", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "kiran_blockchain_7a", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'AI Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ailab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Harish has requested a day off on Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "harish", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Mr. Amit's 'Graph Theory' class, please avoid Tuesday and also try to keep it in the Science block.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "amit_gt_4c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "amit_gt_4c", "parameters": { "building": "Science" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Physics Lab' post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "phylab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Economics' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "eco", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Saturday for Ms. Sneha.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sneha", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room l8 can only hold 50 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l8", "parameters": { "capacity": 50 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Gauri as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "gauri", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Big Data' taught by Dr. Mani: It must not be on Tuesday, and a room in the Main building is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "mani_bigdata_8b", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "mani_bigdata_8b", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l6 does not surpass 45 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l6", "parameters": { "capacity": 45 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Cloud Computing' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cloud", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 3 as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_3", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Rohan's 'HCI' class, please avoid Monday and also try to keep it in the Lab block.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rohan_hci_6a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rohan_hci_6a", "parameters": { "building": "Lab block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Networking Lab' post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "netlab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Dr. Suresh as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "suresh", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r12 can only hold 70 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r12", "parameters": { "capacity": 70 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Deep Learning' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "dl", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Monday for Prof. Kavya.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "kavya", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 4 as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_4", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Divya's 'Embedded Systems' class, please avoid Friday and try the West building.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "divya_embedded_7c", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "divya_embedded_7c", "parameters": { "building": "West" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'Java Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "javalab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Prof. Nitin has requested a day off on Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nitin", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r8 does not surpass 90 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r8", "parameters": { "capacity": 90 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Data Mining' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "dm", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Operating Systems' taught by Prof. Ajay: Avoid Monday, Main building preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "ajay_os_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "ajay_os_5a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Chemistry Lab' post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "chemlab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Priya as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "priya", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l10 does not surpass 40 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l10", "parameters": { "capacity": 40 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark OE Teacher 5 as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "oe_fac_5", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Microcontrollers' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "mc", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Neha's 'Web Design' class, avoid Wednesday and use the Tech Hall.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "neha_web_4b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "neha_web_4b", "parameters": { "building": "Tech Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'DBMS Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "dbmslab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Friday for Prof. Sameer.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sameer", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r15 can only hold 100 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r15", "parameters": { "capacity": 100 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'System Design' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "sysdesign", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Dr. Anjali as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "anjali", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Signal Processing' taught by Prof. Vikram: Avoid Friday, North block preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "vikram_sp_6c", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "vikam_sp_6c", "parameters": { "building": "North" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l12 does not surpass 35 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l12", "parameters": { "capacity": 35 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Machine Learning' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ml", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Arjun's 'Compiler Design' class, avoid Tuesday and try the South wing.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "arjun_cd_7a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "arjun_cd_7a", "parameters": { "building": "South wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Lab sessions like 'Python Lab' are preferred in the afternoon.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "pylab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Please block off all of Wednesday for Dr. Rajiv.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rajiv", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Room r20 can only hold 60 students, don't exceed this.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r20", "parameters": { "capacity": 60 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Schedule the 'Logic Design' lab post-lunch if possible.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "logiclab", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Shalini as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "shalini", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Algorithm Analysis' taught by Prof. Rahul: Avoid Thursday, Main building preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rahul_daa_4a", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rahul_daa_4a", "parameters": { "building": "Main" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Algorithms' taught by Prof. King: It must not be on Thursday, and a room in the Arts Center is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "king_algorithms_8b", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "king_algorithms_8b", "parameters": { "building": "Arts Center" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'CS' taught by Prof. Jones: It must not be on Wednesday, and a room in the Science Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jones_cs_1c", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jones_cs_1c", "parameters": { "building": "Science Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Economics' taught by Prof. Martin: It must not be on Wednesday, and a room in the Engineering Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "martin_economics_2c", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "martin_economics_2c", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Baker's 'Astronomy' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "baker_astronomy_8c", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Data Structures taught by Nelson should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nelson_data structures_9b", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Chemistry' taught by Prof. Smith: It must not be on Friday, and a room in the Engineering Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "smith_chemistry_6b", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "smith_chemistry_6b", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l27 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l27", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Baker's 'Music' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "baker_music_3c", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Stats' taught by Prof. Robinson: It must not be on Wednesday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "robinson_stats_1c", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "robinson_stats_1c", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r180 does not surpass 60 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r180", "parameters": { "capacity": 60 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. White's 'Programming' class, please avoid Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "white_programming_2b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Politics' taught by Prof. Jackson: It must not be on Wednesday, and a room in the Tech Tower is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jackson_politics_5c", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jackson_politics_5c", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Lee's 'Data Structures' class, please avoid Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "lee_data structures_2b", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Martin's 'Music' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "martin_music_4b", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Engineering' taught by Prof. Wright: It must not be on Monday, and a room in the Library Complex is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "wright_engineering_7c", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "wright_engineering_7c", "parameters": { "building": "Library Complex" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'CS' taught by Prof. Rivera: It must not be on Thursday, and a room in the North Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rivera_cs_4b", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rivera_cs_4b", "parameters": { "building": "North Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r178 does not surpass 120 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r178", "parameters": { "capacity": 120 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Sanchez as unavailable for Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "sanchez", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Perez as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "perez", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r171 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r171", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Literature' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "literature", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Robotics' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "robotics", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Stats' taught by Prof. King: It must not be on Friday, and a room in the Library Complex is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "king_stats_1a", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "king_stats_1a", "parameters": { "building": "Library Complex" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r169 does not surpass 30 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r169", "parameters": { "capacity": 30 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Calculus taught by Campbell should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "campbell_calculus_1a", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Medicine taught by Jackson should ideally be in Library Complex.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jackson_medicine_7b", "parameters": { "building": "Library Complex" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Algorithms' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "algorithms", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Garcia's 'Logic' class, please avoid Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "garcia_logic_1b", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Astronomy' taught by Prof. Carter: It must not be on Thursday, and a room in the South Block is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "carter_astronomy_7c", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "carter_astronomy_7c", "parameters": { "building": "South Block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r179 does not surpass 200 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r179", "parameters": { "capacity": 200 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l22 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l22", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Politics taught by White should ideally be in Tech Tower.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "white_politics_3b", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Politics' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "politics", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Gonzalez as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "gonzalez", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Ramirez as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "ramirez", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Logic' taught by Prof. Walker: It must not be on Saturday, and a room in the Arts Center is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "walker_logic_4a", "parameters": { "on_day": "Saturday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "walker_logic_4a", "parameters": { "building": "Arts Center" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Databases taught by Moore should ideally be in Engineering Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "moore_databases_2c", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r158 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r158", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r112 does not surpass 50 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r112", "parameters": { "capacity": 50 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Robinson as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "robinson", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l26 does not surpass 200 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l26", "parameters": { "capacity": 200 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Networks taught by Smith should ideally be in West Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "smith_networks_6a", "parameters": { "building": "West Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Art' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "art", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'CS' taught by Prof. Rivera: It must not be on Friday, and a room in the Tech Tower is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rivera_cs_3b", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rivera_cs_3b", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Calculus taught by Campbell should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "campbell_calculus_5a", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Psychology' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "psychology", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Chemistry' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "chemistry", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Nelson as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nelson", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Calculus' taught by Prof. Martinez: It must not be on Thursday, and a room in the East Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "martinez_calculus_7a", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "martinez_calculus_7a", "parameters": { "building": "East Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Robotics taught by Thomas should ideally be in Main Block.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "thomas_robotics_2b", "parameters": { "building": "Main Block" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Medicine' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "medicine", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Baker as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "baker", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Hall's 'Sociology' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "hall_sociology_2b", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Architecture' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "architecture", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Flores as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "flores", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Mitchell's 'Biology' class, please avoid Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "mitchell_biology_2a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Algebra taught by Thomas should ideally be in West Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "thomas_algebra_1a", "parameters": { "building": "West Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Campbell's 'Economics' class, please avoid Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "campbell_economics_3c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Databases' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "databases", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r120 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r120", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l27 does not surpass 90 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l27", "parameters": { "capacity": 90 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Hall's 'Astronomy' class, please avoid Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "hall_astronomy_1b", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Campbell's 'Robotics' class, please avoid Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "campbell_robotics_5c", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Chemistry taught by Lee should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "lee_chemistry_4a", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r191 does not surpass 90 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r191", "parameters": { "capacity": 90 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Algorithms' taught by Prof. Scott: It must not be on Saturday, and a room in the Tech Tower is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "scott_algorithms_8a", "parameters": { "on_day": "Saturday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "scott_algorithms_8a", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Geometry' taught by Prof. Robinson: It must not be on Wednesday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "robinson_geometry_3b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "robinson_geometry_3b", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'AI' taught by Prof. White: It must not be on Monday, and a room in the North Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "white_ai_7a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "white_ai_7a", "parameters": { "building": "North Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Brown as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "brown", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r156 does not surpass 120 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r156", "parameters": { "capacity": 120 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Algorithms' taught by Prof. Wilson: It must not be on Saturday, and a room in the Library Complex is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "wilson_algorithms_4c", "parameters": { "on_day": "Saturday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "wilson_algorithms_4c", "parameters": { "building": "Library Complex" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Walker as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "walker", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Mechanics' taught by Prof. Williams: It must not be on Friday, and a room in the East Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "williams_mechanics_9c", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "williams_mechanics_9c", "parameters": { "building": "East Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Logic' taught by Prof. Thompson: It must not be on Monday, and a room in the Arts Center is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "thompson_logic_2b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "thompson_logic_2b", "parameters": { "building": "Arts Center" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Astronomy' taught by Prof. Davis: It must not be on Monday, and a room in the Engineering Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "davis_astronomy_4a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "davis_astronomy_4a", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "OS taught by Allen should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "allen_os_4c", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Ethics' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ethics", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Nguyen as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nguyen", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Geography' taught by Prof. Hernandez: It must not be on Monday, and a room in the East Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "hernandez_geography_5c", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "hernandez_geography_5c", "parameters": { "building": "East Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Music' taught by Prof. Taylor: It must not be on Monday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "taylor_music_4b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "taylor_music_4b", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Electronics taught by Carter should ideally be in Main Block.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "carter_electronics_9b", "parameters": { "building": "Main Block" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Math' taught by Prof. Harris: It must not be on Thursday, and a room in the Tech Tower is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "harris_math_1c", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "harris_math_1c", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l44 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l44", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Miller as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "miller", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Networks' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "networks", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Biology taught by Nguyen should ideally be in Tech Tower.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nguyen_biology_7a", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "ML taught by Hernandez should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "hernandez_ml_8a", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Hall's 'CS' class, please avoid Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "hall_cs_7c", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l40 does not surpass 200 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l40", "parameters": { "capacity": 200 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anderson's 'Engineering' class, please avoid Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anderson_engineering_6a", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Calculus taught by Ramirez should ideally be in Main Block.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "ramirez_calculus_7a", "parameters": { "building": "Main Block" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. White's 'Electronics' class, please avoid Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "white_electronics_8c", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r115 does not surpass 70 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r115", "parameters": { "capacity": 70 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mechanics taught by Hernandez should ideally be in Science Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "hernandez_mechanics_1a", "parameters": { "building": "Science Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r108 does not surpass 70 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r108", "parameters": { "capacity": 70 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Chemistry' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "chemistry", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Music' taught by Prof. Baker: It must not be on Friday, and a room in the North Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "baker_music_5c", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "baker_music_5c", "parameters": { "building": "North Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Programming' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "programming", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l40 does not surpass 120 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l40", "parameters": { "capacity": 120 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Geometry' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "geometry", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Economics' taught by Prof. Harris: It must not be on Friday, and a room in the Arts Center is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "harris_economics_9c", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "harris_economics_9c", "parameters": { "building": "Arts Center" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Flores's 'ML' class, please avoid Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "flores_ml_5c", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Physics' taught by Prof. Campbell: It must not be on Friday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "campbell_physics_7a", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "campbell_physics_7a", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "AI taught by Adams should ideally be in Tech Tower.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adams_ai_6c", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Literature' taught by Prof. Roberts: It must not be on Saturday, and a room in the Arts Center is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "roberts_literature_9a", "parameters": { "on_day": "Saturday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "roberts_literature_9a", "parameters": { "building": "Arts Center" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Networks' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "networks", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Art taught by Robinson should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "robinson_art_7c", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Biology' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "biology", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Robotics taught by Davis should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "davis_robotics_9c", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Algebra' taught by Prof. Allen: It must not be on Tuesday, and a room in the Main Block is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "allen_algebra_1c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "allen_algebra_1c", "parameters": { "building": "Main Block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l48 does not surpass 100 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l48", "parameters": { "capacity": 100 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l37 does not surpass 40 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l37", "parameters": { "capacity": 40 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Medicine' taught by Prof. Anderson: It must not be on Wednesday, and a room in the North Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anderson_medicine_5a", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anderson_medicine_5a", "parameters": { "building": "North Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Sociology' taught by Prof. Nelson: It must not be on Monday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nelson_sociology_6b", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nelson_sociology_6b", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Adams as unavailable for Tuesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "adams", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l46 does not surpass 90 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l46", "parameters": { "capacity": 90 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Sociology' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "sociology", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r189 does not surpass 30 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r189", "parameters": { "capacity": 30 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Roberts's 'Economics' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "roberts_economics_7a", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Calculus taught by Martinez should ideally be in West Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "martinez_calculus_5b", "parameters": { "building": "West Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "CS taught by Clark should ideally be in Library Complex.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "clark_cs_5b", "parameters": { "building": "Library Complex" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'OS' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "os", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Medicine' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "medicine", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Logic taught by Lewis should ideally be in Engineering Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "lewis_logic_6c", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Logic' taught by Prof. Carter: It must not be on Friday, and a room in the Main Block is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "carter_logic_9a", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "carter_logic_9a", "parameters": { "building": "Main Block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Williams as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "williams", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Calculus' taught by Prof. Perez: It must not be on Monday, and a room in the Main Block is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "perez_calculus_3a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "perez_calculus_3a", "parameters": { "building": "Main Block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'CS' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cs", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Logic' taught by Prof. Baker: It must not be on Monday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "baker_logic_4c", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "baker_logic_4c", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Art' taught by Prof. Carter: It must not be on Tuesday, and a room in the Engineering Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "carter_art_2a", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "carter_art_2a", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r184 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r184", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Martinez's 'ML' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "martinez_ml_1c", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Algebra taught by Moore should ideally be in South Block.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "moore_algebra_3a", "parameters": { "building": "South Block" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Lopez as unavailable for Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "lopez", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Brown as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "brown", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Politics taught by Lewis should ideally be in Library Complex.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "lewis_politics_6a", "parameters": { "building": "Library Complex" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Sociology' taught by Prof. Clark: It must not be on Monday, and a room in the Library Complex is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "clark_sociology_9c", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "clark_sociology_9c", "parameters": { "building": "Library Complex" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'English' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "english", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anderson's 'Trigonometry' class, please avoid Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anderson_trigonometry_9a", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r116 does not surpass 120 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r116", "parameters": { "capacity": 120 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Logic' taught by Prof. Davis: It must not be on Friday, and a room in the Tech Tower is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "davis_logic_4a", "parameters": { "on_day": "Friday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "davis_logic_4a", "parameters": { "building": "Tech Tower" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Engineering' taught by Prof. Williams: It must not be on Monday, and a room in the North Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "williams_engineering_6c", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "williams_engineering_6c", "parameters": { "building": "North Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Literature taught by Rivera should ideally be in North Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rivera_literature_2c", "parameters": { "building": "North Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Literature taught by Anderson should ideally be in Engineering Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "anderson_literature_5a", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Roberts as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "roberts", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r168 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r168", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Programming' taught by Prof. Rodriguez: It must not be on Tuesday, and a room in the Main Block is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rodriguez_programming_7c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rodriguez_programming_7c", "parameters": { "building": "Main Block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Anderson's 'Economics' class, please avoid Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "anderson_economics_7a", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Economics' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "economics", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r153 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r153", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Databases taught by Green should ideally be in Engineering Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "green_databases_8a", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r126 does not surpass 30 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r126", "parameters": { "capacity": 30 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'AI' taught by Prof. Adams: It must not be on Tuesday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "adams_ai_4c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "adams_ai_4c", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r100 does not surpass 50 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r100", "parameters": { "capacity": 50 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "CS taught by Nguyen should ideally be in South Block.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nguyen_cs_7c", "parameters": { "building": "South Block" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "CS taught by Torres should ideally be in East Wing.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "torres_cs_9a", "parameters": { "building": "East Wing" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'CS' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "cs", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r139 does not surpass 100 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r139", "parameters": { "capacity": 100 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Jones as unavailable for Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "jones", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Geometry' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "geometry", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Algorithms' taught by Prof. Nguyen: It must not be on Monday, and a room in the South Block is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "nguyen_algorithms_8a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "nguyen_algorithms_8a", "parameters": { "building": "South Block" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Green's 'Mechanics' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "green_mechanics_3c", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Ethics' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ethics", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Chemistry' taught by Prof. King: It must not be on Thursday, and a room in the Library Complex is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "king_chemistry_7b", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "king_chemistry_7b", "parameters": { "building": "Library Complex" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'Physics' in the morning slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "physics", "parameters": { "preferred_slot": "morning" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Rodriguez as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "rodriguez", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r128 does not surpass 50 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r128", "parameters": { "capacity": 50 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Networks' taught by Prof. Rodriguez: It must not be on Wednesday, and a room in the East Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "rodriguez_networks_6b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "rodriguez_networks_6b", "parameters": { "building": "East Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Geometry' taught by Prof. Allen: It must not be on Tuesday, and a room in the Science Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "allen_geometry_6c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "allen_geometry_6c", "parameters": { "building": "Science Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Taylor as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "taylor", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l20 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l20", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r183 does not surpass 150 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r183", "parameters": { "capacity": 150 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l24 does not surpass 70 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l24", "parameters": { "capacity": 70 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Geometry' taught by Prof. Ramirez: It must not be on Monday, and a room in the Science Wing is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "ramirez_geometry_5a", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "ramirez_geometry_5a", "parameters": { "building": "Science Wing" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Perez's 'Nursing' class, please avoid Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "perez_nursing_3c", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Young's 'Politics' class, please avoid Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "young_politics_2c", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Calculus taught by Roberts should ideally be in South Block.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "roberts_calculus_5b", "parameters": { "building": "South Block" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Math' taught by Prof. Johnson: It must not be on Thursday, and a room in the West Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "johnson_math_2a", "parameters": { "on_day": "Thursday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "johnson_math_2a", "parameters": { "building": "West Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Thomas's 'Music' class, please avoid Friday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "thomas_music_4c", "parameters": { "on_day": "Friday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for r115 does not surpass 80 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "r115", "parameters": { "capacity": 80 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Nelson as unavailable for Saturday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "nelson", "parameters": { "on_day": "Saturday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Ensure the class size for l34 does not surpass 120 seats.", "output": { "constraint_type": "room_capacity", "entity_type": "room", "entity_name": "l34", "parameters": { "capacity": 120 }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Young's 'Geography' class, please avoid Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "young_geography_5a", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Literature' taught by Prof. Lee: It must not be on Monday, and a room in the Engineering Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "lee_literature_6c", "parameters": { "on_day": "Monday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "lee_literature_6c", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } ] }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "English taught by Clark should ideally be in Engineering Hall.", "output": { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "clark_english_4c", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Try to schedule 'ML' in the afternoon slots.", "output": { "constraint_type": "slot_preference", "entity_type": "subject", "entity_name": "ml", "parameters": { "preferred_slot": "afternoon" }, "hard_constraint": false } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Gonzalez's 'Biology' class, please avoid Wednesday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "gonzalez_biology_6b", "parameters": { "on_day": "Wednesday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Mark Prof. Flores as unavailable for Thursday.", "output": { "constraint_type": "time_unavailability", "entity_type": "faculty", "entity_name": "flores", "parameters": { "on_day": "Thursday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "For Prof. Torres's 'Nursing' class, please avoid Monday.", "output": { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "torres_nursing_7c", "parameters": { "on_day": "Monday" }, "hard_constraint": true } }, { "instruction": "Convert the scheduling rule into a JSON constraint.", "input": "Regarding 'Math' taught by Prof. Jones: It must not be on Tuesday, and a room in the Engineering Hall is preferred.", "output": [ { "constraint_type": "time_unavailability", "entity_type": "allocation", "entity_name": "jones_math_3c", "parameters": { "on_day": "Tuesday" }, "hard_constraint": true }, { "constraint_type": "location_preference", "entity_type": "allocation", "entity_name": "jones_math_3c", "parameters": { "building": "Engineering Hall" }, "hard_constraint": false } ] } ]