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

北京图王软件开发有限公司开发的Visual Graph（简称VG）是一套强大的专业交互图形开发引擎平台，她能非常方便地制作各种图形元件、实现图形管理、图形建模、制作监控系统、表单系统、绘图系统、流程设计、建造基于图形的界面（对话框、菜单、按钮、工具条等windows窗体开发元素）、CAD软件等。她提供功能非常强大的ActiveX控件，和其他流行的编程语言共同工作，极大地弥补了这些语言在图形处理方面的不足。也可以嵌入IE浏览器中，实现网上图形编辑和控制等。