实验4-约束满意度问题 WojciechWoźniakErmir Pellumbi Yann Le Lorier 任务 1.将问题建模为CSP 通过阅读游戏的约束（对于实现有一些额外的约束）： 有五个房子。 英国人住在红房子里。 西班牙人拥有这只狗。 温室里喝咖啡。 乌克兰人喝茶。 温室就在象牙屋的右边。 老金烟民拥有蜗牛。 黄色的房子里抽着烟熏的库尔。 牛奶在中间屋子里喝了。 挪威人住在第一所房子。 抽切斯特菲尔德（Chesterfields）烟的男人住在那只与狐狸在一