MathemaGridsSolver:使用 Z3 smt 求解器与 Python api 解决 MathemasGrid 难题

【文件属性】：

文件名称：MathemaGridsSolver:使用 Z3 smt 求解器与 Python api 解决 MathemasGrid 难题

文件大小：504KB

文件格式：ZIP

更新时间：2024-06-20 08:47:53

Python

数学网格求解器 使用 Z3 smt 求解器与 Python api 解决 MathemasGrid 难题 依赖关系 sudo apt-get install g++ Z3Solver： : pyparsing： ://pyparsing.wikispaces.com/ #####基维： sudo add-apt-repository ppa：kivy-team / kivy 须藤 apt-get 安装 python-kivy ##Usage python src/game.py #####flags: --console -> 在控制台模式下执行 笔记： 默认情况下，游戏在 GUI 模式下初始化 和 是可选的，用于控制台模式

【文件预览】：
MathemaGridsSolver-master
----src()
--------game.py(3KB)
--------gameGui.py(21KB)
--------resources()
--------solveMathemaGrids.py(5KB)
--------parsing.py(2KB)
--------generate_board.py(6KB)
----doc()
--------solveMathemagrids.tex(10KB)
--------exemplo_mathemagrids.png(18KB)
--------solveMathemagrids.out(721B)
--------solveMathemagrids.pdf(392KB)
--------solveMathemagrids.synctex.gz(28KB)
--------solveMathemagrids.aux(2KB)
--------um_logo.png(33KB)
--------solveMathemagrids.log(35KB)
----examples()
--------example_1.txt(51B)
--------example_4.txt(90B)
--------example_3.txt(51B)
--------example_2.txt(52B)
--------example_5.txt(90B)
----.gitignore(724B)
----README.md(536B)