Afin de donner plus d'expressivité aux modèles de connaissance à objets, un système de représentation et de satisfaction de contraintes a été développé [2]. Ce système permet d'exprimer des ``problèmes de satisfaction de contraintes'' (CSP), dont les variables sont des attributs d'objets généralisés aux chemins d'attributs, les domaines sont un sous-ensemble particulier des types (domaines finis, entiers, réels... ) et les contraintes sont prises dans une bibliothèque de contraintes (arithmétiques, booléennes, ensemblistes... ). Outre son intégration naturelle dans un modèle à objets, le système présente l'originalité de proposer une représentation des domaines à l'aide d'unions d'intervalles. Par ailleurs, il traite les chemins d'attributs à valeur construite (c'est-à-dire sous forme d'ensembles ou de listes) en unissant ou en emboîtant ces valeurs.
Le système construit est capable d'interagir avec le module de types Metéo décrit ci-dessus (en particulier pour manipuler des types externes).