【文件属性】:
文件名称:regex-crossword-solver:https
文件大小:13KB
文件格式:ZIP
更新时间:2021-05-09 16:57:24
python puzzle regex solver z3
正则表达式填字游戏
用Python编写的求解器。 可在Python 2和3中运行。
它通过将难题转换为等效的SMT问题来解决难题。 详细的方法描述。
演示版
5 x 14 regex填字游戏发表在。
$ python bbc.py
要求
带有Python绑定的或
您可以通过以下方式安装它们
pip install ply
pip install angr-only-z3-custom
确保LD_LIBRARY_PATH环境变量中具有/usr/local/lib/和$HOME/.local/lib 。
用法
直接解决正则表达式填字游戏。
>> > from crossword import solve_crossword
>> > solve_crossword ([ "HE|LL|O+" , "[PLEASE]+" ], [ "[^SPEAK]+" , "EP|IP|EF" ])
【文件预览】:
regex-crossword-solver-master
----.gitignore(30B)
----Makefile(156B)
----crossword()
--------regex_parser.py(7KB)
--------__init__.py(128B)
--------crossword.py(2KB)
--------tests()
--------regex_solver.py(5KB)
----LICENSE.txt(1KB)
----grammar.md(1KB)
----README.md(1KB)
----bbc.py(685B)