Provide Z$3$ or Z$3$Py code to solve the scheduling problem given as follows. There are

seven jobs #$1,$ #$2,$ #$3,$ #$4,$ #$5,$ #$6$ and #$7.$ All jobs are executed by three persons A$,$ B

and $C.$ Any solutions of the scheduling problem must satisfy all of the following

constraints.

Each job should be executed by one of three persons A$,$ B and C without

interruption.

Each person can handle at most one job each time.

Each job #i has running time $3+i$ if person $C$ executes it$,$ and $4+$i otherwise.

Only person B is allowed to execute jobs #$1$ and #$7.$

Job #$2$ should run after jobs #$5$ and #$6$ have finished.

Each job should be done in time $0$ to $20.$

In the provided code, you may declare only three functions whose domains and ranges

are both the set of integers.

Function S maps each job to its start time.

Function E maps each job to its end time.

Function $P$ maps each job to the person who executes it$.$

Explain a solution to the scheduling problem. The solution should be obtained by running

the code in the command$-$line interface with either of the following commands.

$ z$3-$smt$2$ P$1\_[$Student number$].$txt

$ python P$1\_[$Student number$].$py

Here, P$1\_[$Student number$]$ is your file containing the code. The explanation should

include the output of the code and the information about who executes which job, and

when it starts and ends, for each job. The following is an example explanation for job #$1.$

Job #$1$ is executed by person A from time $0$ to time $5.$

Insert the comment symbol $(\text{'}$;$\text{'}$ in Z$3$ code and $\text{'}$#$\text{'}$ in Z$3$Py code$)$ at the beginning of each

line in which your explanation is provided. All the explanations should be written at the

very end of the file containing the code.