如何在 Eclipse 中运行 Alloy 模型检查器 API？

Question

我在导入 Alloy 库以在 Eclipse 中使用 API 时遇到问题。这是我要运行的代码：http://alloytools.org/documentation/code/ExampleUsingTheAPI.java.html

问题是我在导入库时做错了什么。所以这就是我所做的：

1. 在 Eclipse 中创建一个新的 Java 项目（JRE：jdk1.8.0_172）
2. 在项目中右键>导入>存档文件>选择从https://alloytools.org/download.html下载的.jar文件org.alloytools.alloy.dist.jar
3. 如下图所示添加所有文件夹和文件。
4. 在 scr 文件夹中创建新文件：ExampleUsingTheAPI.java，代码来自http://alloytools.org/documentation/code/ExampleUsingTheAPI.java.html

显示的错误是：

Answer 1

下载jar，右键单击您的项目，选择配置构建路径，单击库并添加外部jar，选择您的Alloy api并单击应用并确定。 如果我没记错的话，它应该可以工作，我以前在使用 eclipse 时也是这样做的。