Introduce documentation for common changes to the solver #300
Description
E.g., how to add a new constraint/propagator (say for student projects). Think about other things.
{{ message }}
E.g., how to add a new constraint/propagator (say for student projects). Think about other things.