Catalogue of labels
Example problem to solve using the AC-3 algorithm and the catalogue of labels