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
Download the geost instance for this example in XML or PROLOG format.