aztec:用SAT解决难题

【文件属性】：
文件名称：aztec:用SAT解决难题
文件大小：5KB
文件格式：ZIP
更新时间：2021-04-03 02:57:43
Python 阿兹台克人 用SAT解决难题 安装 git clone https://github.com/jsford/aztec.git cd aztec pip3 install -r requirements.txt 用法 python3 aztec.py puzzles/test.az git克隆

【文件预览】：
aztec-master
----requirements.txt(152B)
----aztec.py(6KB)
----puzzles()
--------test.az(223B)
--------travel.az(12KB)
--------med.az(2KB)
--------tiny.az(150B)
----README.md(216B)
----.gitignore(26B)