开发工具:
文件大小: 2mb
下载次数: 0
上传时间: 2021-03-30
详细说明：Uppaal命令行界面
用于uppaal的命令行界面。
要求
uppaal-cli依赖于uppaal64-4.1.20-stratego-7，可在下载。 在运行uppaal-cli之前，请确保已将其安装在您的计算机上并且变量UPPAALPATH指向uppaal存储库的根目录。 uppaal-cli的所有依赖项都包含在此存储库的lib文件夹中，请在构建uppaal-cli之前将它们包括在您的类路径中。
安装
要安装，只需在此存储库中运行以下命令：
制作sudo -E进行安装
它将在文件夹$ UPPAALPATH / lib中复制uppaal-cli的所有依赖项，因此在运行这些命令之前，请确保已设置$ UPPAALPATH。
用法
您可以通过在提示符下键入以下命令来启动uppaal-cli：
上丘
启动uppaal命令行界面后，系统会邀请您输入命令或键入help获得更多信息，例如，您可以输
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
