Constraints over graph variables

Overview of constraints based on graph variables.

TODO

Last modified 02.10.2023: start doc for python (a772569)