Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints

From MaRDI portal