3.7.176. Pentomino

A constraint (i.e.,Β πš™πš˜πš•πš’πš˜πš–πš’πš—πš˜) that can be used to model a pentomino. A pentomino is an arrangement of five unit squares that are joined along their edges.

Also denotes a constraint (i.e.,Β πšπš’πšπšπš—, 𝚐𝚎𝚘𝚜𝚝, πš›πšŽπšπšžπš•πšŠπš›) that can be used for solving tiling problems involving pentominoes. For instance, the 𝚐𝚎𝚘𝚜𝚝 and πš›πšŽπšπšžπš•πšŠπš› constraints where respectively used in Β [BeldiceanuCarlssonPoderSadekTruchet07] and in Β [LagerkvistPesant08] to solve such tiling problems.

FigureΒ 3.7.40 presents a tiling of a rectangle with distinct pentominoes.

Figure 3.7.40. Tiling a rectangle with pentominoes
figpstrick/pentomino_example

Download the geost instance for this example in XML or PROLOG format.