ProB 2独立GUI ProB2-UI是用于动画器,约束求解器和模型检查器的基于JavaFX的现代用户界面。 除了,ProB还支持 , , 和 要求 ProB 2 UI需要Java 8或更高版本,并且已经过Oracle JDK 8、9和10的测试。 下载 可以在下载ProB 2 UI的预构建二进制文件。 从源头运行 该概率2 UI可以从源代码使用Gradle开始run任务( ./gradlew run在Linux / Mac系统的/ etc。, gradlew.bat run在Windows上)。 从源代码构建ProB 2 UI要求为UI的内置帮助功能生成帮助文件。 所有流行的软件包管理器都可以提供Pandoc,也可以从安装它。 如果要在不安装Pandoc的情况下构建UI,则可以将--exclude-task createHelp选项传递给Gradle以跳过帮助构建。 用户界面无