Constraints over set variables

Overview of constraints based on set variables.

TODO


Last modified 11.06.2020: Update doc (a834c84)