没有合适的资源?快使用搜索试试~ 我知道了~
prob2_ui:(仅读取镜像)ProB 2.0独立应用程序
需积分: 5 0 下载量 112 浏览量
2021-03-31
01:36:50
上传
评论
收藏 5.2MB ZIP 举报
温馨提示
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以跳过帮助构建。 用户界面无
资源评论
资源推荐
鈤TiAmo
- 粉丝: 20
- 资源: 4695
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0