Constraints over set variables

Overview of constraints based on set variables.

TODO

Last modified 02.10.2023: start doc for python (a772569)