没有合适的资源?快使用搜索试试~ 我知道了~
mad-props:正向传播约束求解器monad。 非常适合解决Sudoku,N-Queens等
共21个文件
hs:11个
md:2个
cast:2个
需积分: 12 0 下载量 142 浏览量
2021-03-08
22:55:30
上传
评论
收藏 168KB ZIP 举报
温馨提示
疯狂道具 Mad props是一个简单的广义传播器框架。 这意味着它非常擅长表达和解决广义。 请注意, mad-props并未使用晶格过滤器进行传播,也不支持传播器元素的动态选择(尽管您可以通过选择的容器类型指定选择顺序)。 这些事情更加复杂。 还有很多其他的约束求解器,可能大多数都比这个约束求解器快,但是对于那些喜欢在Haskell工作的舒适性和类型安全性的人来说,我已经了解了。 使用其他约束求解器来表达您的问题可能会有些麻烦。 您需要将问题压缩到布尔变量之间的关系,或者尝试将问题塞入特定格式。 Mad Props使用Monadic DSL来表达问题中的变量以及变量之间的关系,这意味着您可以使用普通的Haskell来表达问题。 它仍未完成,正在经历快速的迭代和试验,因此我不会在此基础上进行任何大型项目。 示例:数独 我们将使用Propagators编写一个快速的Sudoku求解器
资源推荐
资源详情
资源评论
收起资源包目录
mad-props-master.zip (21个子文件)
mad-props-master
.gitignore 61B
app
Main.hs 141B
Setup.hs 46B
src
Props.hs 653B
Props
Internal
Props.hs 3KB
Links.hs 1KB
Backtracking.hs 2KB
Graph.hs 3KB
PropT.hs 5KB
MinTracker.hs 1008B
Examples
Sudoku.hs 3KB
NQueens.hs 2KB
stack.yaml.lock 807B
LICENSE 1KB
README.md 9KB
asciicasts
wfc.cast 1.98MB
wfc-fast.cast 1.26MB
mad-props.cabal 2KB
package.yaml 1KB
ChangeLog.md 62B
stack.yaml 2KB
共 21 条
- 1
资源评论
刘霏霏
- 粉丝: 35
- 资源: 4717
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 本项目主要是用于微信夸夸群,之前也有很多夸夸的项目,但是效果不是很好,很容易答非所问,该项目对数据进行了优化升级 主要使用的语言为nodejs + python.zip
- 本站提出并实现了属性加密演示系统,旨在帮助初学者更好地理解属性加密技术,同时采用图文并茂的方式和通俗易懂的语言生动形象的介绍了属性加密的含义和相关理论知识 .zip
- Vue框架开发指南:从基础到高级应用
- JAVA栈(链表实现)
- 有源钳位正激功率级计算书
- 微信机器人,企业微信机器人,微信群机器人源码,微信机器人框架源码,微信发卡机器人源码,微信群聊机器人源码,微信群机器人功能菜单,易语言微信机器人源码,微信机器人源码php,微信群机器人管理系统.zip
- 废弃的易语言源码,已无力支撑下去更新 放弃,甚至有些开发一半夭折废弃.zip
- JAVA栈(链表实现)
- 将JSON数据类型一键转换为易语言自定义数据类型,喜欢的给个star吧!欢迎贡献code.zip
- 抽象代数期末试卷题目1
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功