uppaal cli 源码

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获得更多信息,例如,您可以输