形式化方法：如何在EclipseIDE上安装CZT插件？

我读过，也读过。他们俩都不能帮我解决这个问题。在link中，存储库中似乎什么都没有，在link中，我遵循了它所说的每一步，但仍然无法为我的eclipseide获取插件

如何安装EclipseIDE插件

注意：我的操作系统是Ubuntu 16.04 LTS。似乎有一个版本的EclipseIDE是以.exe格式存在的，上面已经启用了CZT插件。但由于我的操作系统不支持.exe文件，我无法用这种方式解决此问题

1-下载和两者

2-将这两个.jar文件放入Eclipse的插件文件夹中

3-重新启动EclipseIDE

现在您的EclipseIDE上安装了CZT插件

但要创建新的CZT项目，请执行以下步骤：

1-转到文件->新建->项目->CZT->CZT项目

2-指定项目的名称，然后单击“完成”

3-右键单击您的项目并转到新建->Z规范

4-指定文件名及其目录，然后单击 结束

现在，您可以在这个新文件中编写Z规范

是一个PDF文件，清楚地描述了该做什么