Configuration of domotic systems based on constraint solving