VisualGraph:ProPPR 图形的 GUI 可视化工具

欢迎使用 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 中显示。 文