Port of the Resource Constrained Project example to ProcessScheduler

[tpaviot]

For your information, I just ported your example Resource Constrained Project Scheduling to ProcessScheduler (a SAT/SMT scheduling library based on the Z3 prover, see https://github.com/tpaviot/ProcessScheduler).

Source code available here: https://github.com/tpaviot/ProcessScheduler/blob/master/examples-notebooks/resource_constrained_project_scheduling.ipynb

The jupyter notebook can be tested online at https://mybinder.org/v2/gh/tpaviot/ProcessScheduler/HEAD?filepath=examples-notebooks.

Here is the output gantt chart

Thank you for your the nice and rigorous documentation.