3.7.66. Core

Denotes that a global constraint is an important constraint. In fact many constraints can been seen as variations or extensions around one of the following notions:

Figure 3.7.19. Three counting based generalisations of the πšŠπš•πš•πšπš’πšπšπšŽπš›πšŽπš—πš constraint: the πš—πšŸπšŠπš•πšžπšŽ, the πšŒπš’πšŒπš•πšŽ and the πšπš•πš˜πš‹πšŠπš•_πšŒπšŠπš›πšπš’πš—πšŠπš•πš’πšπš’ (i.e., 𝚐𝚌𝚌) constraints; the same example πšŠπš•πš•πšπš’πšπšπšŽπš›πšŽπš—πš(〈3,2,4,1βŒͺ) is reinterpreted with respect to the three generalisations

Both, the πšŽπš•πšŽπš–πšŽπš—πš and the πšŠπš•πš•πšπš’πšπšπšŽπš›πšŽπš—πš constraints, are the most commonly used global constraints. Many core global constraints can be seen as an extension of the πšŠπš•πš•πšπš’πšπšπšŽπš›πšŽπš—πš(〈x 1 ,x 2 ,β‹―,x n βŒͺ) constraint along one of the two following lines: