Configuration of domotic systems based on constraint solving

Current crises (such as the war in Ukraine) are confronting end consumers with ever new challenges, for example, in the context of energy management. This paper presents a configurator that enables end-users to make certain functions in their household "smart" and thus, for instance, get a better grip on their energy management. The concept is based on constraint programming, concretely on the open source platform Choco¹. After emphasizing the algorithmic problems and challenges, a first version of a prototype is presented, which illustrates the possibilities of guiding end-users through the process of making their living environments smart. Related possibilities, potentials and challenges of the proposed approach are discussed at the end of the paper.