-
ProPPR 图形的 GUI 可视化工具：VisualGraph
资源介绍
欢迎使用 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 中显示。
文