文件名称：regex-crossword-solver:https
文件大小：13KB
文件格式：ZIP
更新时间：2024-05-29 10:44:04
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)