Link Search Menu Expand Document
Specifications PyCSP3 Tools Instances Competitions About

Counting and Summing constraints

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.


Table of contents