卡坦

【文件属性】：
文件名称：卡坦
文件大小：3KB
文件格式：ZIP
更新时间：2021-02-17 14:35:58
Python 新的Python代码 Python脚本文件采用了另一种方法来生成开发板。 Python的生成器与简单的递归回溯结合使用。 使用以下命令生成布局： python catan.py Catan板布局生成器 使用以下命令生成布局，将[seed]替换为随机整数： clingo catan.lp --rand-freq=1 --seed=[seed] 这将生成类似于以下内容的输出： clingo version 5.4.1 Reading from catan.lp Solving... Answer: 1 board(5,1,blank,0) board(6,1,blank,0) board(7,1,blank,0) board(6,2,blank,0) ... SATISFIABLE Models : 1+ Calls : 1 Time : 5.0

【文件预览】：
catan-master
----catan.py(4KB)
----catan.lp(4KB)
----README.md(1KB)