:man_detective: 福尔摩斯 Holmes是用于计算约束解决问题的库。 在后台，它使用传播网络和冲突导向子句学习来优化对参数空间的搜索。 现在可在上！ :running_shoe: 例子 是约束问题的一个很好的第一个例子。 在这个问题中，我们假设有五个人（贝克，库珀，弗莱彻，米勒和史密斯）住在一个五层楼的公寓楼中，我们必须弄清楚每个人的居住地。 这是我们陈述Holmes问题的方法： import Data.Holmes dinesman :: IO ( Maybe [ Defi