Constraints over set variables

Overview of constraints based on set variables.

TODO

Last modified October 2, 2023: start doc for python (a772569)