I am trying to do this requirement:

I have 3 Math teacher and 18 activities with Math subject, Each Teacher has his own "Not available time" and other constraints. There is not any different For teachers to teach each of these 9 courses (each course contain 2 activities such that both of them must presente by same teacher). I need to detect 3 teachers and 9 Math courses (18 activities) and FET detect which teacher teaches Which Activities (according to their constraints).

Note: IF student set s1 have course M1 with teacher T1, then S1 must have both of its math activities with T1 (both section of course should be presented by the same teacher for any student set).

Some where is mentioned which I can solve this problem by MAPR version, but I could not find out how can I do this with it. Could you present a documentation for it or help me to work with it?

Thank you