Constraints over graph variables

Overview of constraints based on graph variables.

TODO

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