Pour modéliser ce problème sous la forme d'un CSP, il s'agit d'identifier les variables (les inconnues du problème), les domaines de valeur de ces variables, et les contraintes existant entre ces variables.
Ici, il s'agit de déterminer, pour chaque caractéristique (couleurs, animaux, nationalités, cigarettes et boissons) à quelle maison elle appartient. Pour cela, on peut numéroter les maisons de 1 à 5, de la gauche vers la droite, et chercher, pour chaque caractéristique, à quel numéro de maison elle appartient.
Il faut ensuite définir une contrainte pour chacune des assertions de l'énoncé. Il faut également ajouter des contraintes pour spécifier qu'on ne peut avoir plusieurs maisons de la même couleur, ni plusieurs maisons avec le même animal, ...