文件名称：pad-tools:可以除数地操作Presburger算术公式的库
文件大小：32KB
文件格式：ZIP
更新时间：2024-05-07 21:37:11
Python
PAD工具 可以除数地操作Presburger算术公式的库 笔记 公式解析器是使用antlr4生成的，并且还包括使用的语法（请参阅PAD.g4）。 解析器接受prenex正常形式的PAD公式。
【文件预览】：
pad-tools-main
----.gitignore(2KB)
----README.md(343B)
----resources()
--------form2.pad(36B)
--------form3.pad(52B)
--------form1.pad(38B)
--------form4.pad(72B)
----.github()
--------workflows()
----tests()
--------ParserTests.py(2KB)
----LICENSE(34KB)
----main.py(774B)
----requirements.txt(30B)
----pad()
--------parser()
--------formula()
--------__init__.py(0B)