holmes:使用传播器和CDCL进行约束求解的参考库-源码

VIP专享 2021-03-22 07:57:43 64KB ZIP
10
收藏 收藏
举报

:man_detective: 福尔摩斯 Holmes是用于计算约束解决问题的库。 在后台,它使用传播网络和冲突导向子句学习来优化对参数空间的搜索。 现在可在上! :running_shoe: 例子 是约束问题的一个很好的第一个例子。 在这个问题中,我们假设有五个人(贝克,库珀,弗莱彻,米勒和史密斯)住在一个五层楼的公寓楼中,我们必须弄清楚每个人的居住地。 这是我们陈述Holmes问题的方法: import Data.Holmes dinesman :: IO ( Maybe [ Defined Int ]) dinesman = do let guesses = 5 `from` [ 1 .. 5 ] guesses `satisfying` \ [ baker, cooper, fletcher, miller, smith ] -> and' [ distinct [ baker, cooper, flet

...展开详情
立即下载
限时抽奖 低至0.43元/次
身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
holmes:使用传播器和CDCL进行约束求解的参考库-源码 (VIP专享) VIP下载
1/0