abc-扑克:生成ABC逻辑拼图的实例。

[bsd3型,游戏,程序][建议标签]

这个程序生成ABC逻辑拼图的实例(http://en.wikipedia.org/wiki/Buchstabensalat_%28logic_puzze%29).该实现使用MiniSat SAT解算器(http://minisat.se网站/)引导搜索有效的谜题。每个生成的谜题都有一个独特的解决方案。

下载

维修人员角落

包装维护人员

对于包维护者和黑客托管者

候选人

  • 没有候选人
版本[RSS公司] 0.1,0.2,0.2.1
依赖关系 阵列,基础(>=3 && <5),迷你卫星(>=0.1),随机的,随机的(>=1.0),随机震荡(>=0.0.4),保险柜(>=0.1)[详细信息]
许可证 BSD-3条款
作者 帕特里克·巴尔
维护人员 patrick.bahr@gmail.com
类别 游戏
主页 https://github.com/pa-ba/abc-puzzle
Bug跟踪器 https://github.com/pa-ba/abc-puzzle/issues网站
源回购 头部:git克隆https://github.com/pa-ba/abc-puzzle
已上传 通过帕特里克巴尔2014年8月1日T10:28:55Z
分配 尼克斯(NixOS):0.2.1
反向依赖关系 1个直接,0个间接[详细信息]
可执行程序 abc-扑克
下载 总共3060个(过去30天内有15个)
额定值 (尚未投票)[估算人贝叶斯平均]
您的评分
  • λ
  • λ
  • λ
状态 文档不可用[生成日志]
上次成功报告于2016年10月26日[全部10份报告]