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中显示。文