文件名称：VisualGraph:ProPPR 图形的 GUI 可视化工具
文件大小：18.72MB
文件格式：ZIP
更新时间：2024-07-27 02:57:43
Java
欢迎使用 Visual ProPPR 工具 该工具用于可视化 ProPPR 证明图。 关于这个包 Visual ProPPR 内置于 Java SDK 6 中，使用名为“Graph Stream”的图形可视化库，可在查看 该项目的工作区在 Eclipse 中。 关于#visual ProPPR 其主要功能包括 GUI，它允许您以指定格式获取图形并导入它。 运行应用程序 除了获取在 eclipse 工作区中设置的所有相对文件路径之外，应用程序还应该通过运行 Main 类来开箱即用。 导入图形 要导入图形，加载 UI 后，只需单击“浏览图形”并选择图形并选择“加载图形”将其加载到 UI 中。 我们注意到图形必须采用程序中指定的格式。 使用 src/scripts/parse_graph.py 转换接地文件。 每个示例都放置在单独的图形文件中，以便在 Visual ProPPR 中显示。 文
【文件预览】：
VisualGraph-master
----.gitignore(195B)
----graph2.txt(24KB)
----src()
--------java()
--------scripts()
----.classpath(505B)
----LICENSE(11KB)
----export.txt(1KB)
----.settings()
--------org.eclipse.jdt.core.prefs(587B)
----README.md(1KB)
----graph.txt(43B)
----.project(370B)
----build.xml(1KB)
----lib()
--------gs-ui-1.2()
--------gs-algo-1.2()
--------gs-core-1.2()