Création de contrainte en Java/Choco

Bonjour,
Je suis nouvelle sur le forum,
J'ai fait une recherche mais je n'ai rien trouvé au sujet de ma question donc je me permet de créer un post.

Je voudrais programmer le jeu gratte-ciel.
Les règles sont les suivantes : http://www.ilemaths.net/forum-sujet-208605.html

Je me suis inspiré des tutorials pour créer le sudoku, et je n'ai donc pas eu de soucis pour créer la contrainte de tous les chiffres d'une ligne ou une colonne différents.

Je bloque pour la contrainte sur le remplissage de la grille en fonction des indices de bordure.

Pourriez vous m'indiquer une fonction de résolution qui me permettrait de fixer cette contrainte. J'ai pensé à la fonction max mais je ne vois pas trop comment l'utiliser.

Merci pour votre aide.