mad-props:正向传播约束求解器monad。 非常适合解决Sudoku，N-Queens等
需积分: 12 131 浏览量
2021-03-08
22:55:30
上传
评论
收藏 168KB ZIP 举报
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资源评论
