In this section, we present constraints that are based on counting the number of times variables or values satisfy a certain condition, and also those that are based on summations.
