Sets : C: Set of all courses to be offered F : Set of all faculty members So Set of all students Rs Set of all available class Boums "Code ( d: course code of course ( porn name() : comuse name of coursec - creditsled : Number of credits for course ( C prerey ( ) : Set of presea, courses for course favaibality ( f , (it, d, 1 ) . Avaibblity of faculty member f to teach course c at time t on day a in classroomL. Srestrict ( S, ( ): set of restrictions for students s for course , such as preyeq , and students scheduling conflict 8 cap ( 8 ) : capacity of classroom . Binary x ( C, f , t, d, 1) : equals 1 if course c is taught by faculty member F at time t on day in classroom L. O otherwise yes, c, tid, yiequals 1 if students takes course c at time t on day d in classroom L. o otherwise.Pre - reg Data Sample 1. / Course Offerings : Course Code Name Credits None Intro to 3 Bio MAT 1 201 Lineas Alg 4 MaTHBol 3 Englal Eng 201 Eng Comp HISlol tinted to 3 None history Chem 201 Organic 4 Chem lol, Chemloz Chem1 Psy CHIol . Intro to 3 None such 2 . / Faculty Avaibality : faculty Name Course Times Days Location code Dy. Johnson Blo lol 10:00 AM - 12:00 PM ( MW) Science lol DY . John Math 301 8:08 AM -11:00 AM ( MW) Math lal Dy . Lee ENG 201 1:00 PM - 3:00 PM ( TR) Human 123 Di. kim His lo1 10:00 AM - 1 2:0 0 PM ( FR) Human1 23 DY. Patel CHEM 201 1:00 PM - 3:00 PM ( MW ) Science lol DY . Park Psychlol 2: 00 PM - 4 : 00 PM ( T R ) So calscil 76 3. / Student: Sam, Samantha, John, Johnson, Sarah, Benath 4. / classroom : Socalsci 176 MATH TOL HUMAN123 Sciencela! Capacity 15 30 23 20 5 0 / Constraints Room Capacity class must be scheduled in room that can a comadate capacity and after capacity, no more students . Student Faculty workloade . They can't do more than the credits they are suppose to Classes should not be scheduled at the same time for Student who wehave scheduling conflicts