无需 Costa 安装 SIRIUS：Java 模型检验和学习库

SIRIUS 是一个开源的 Java 库，用于实现模型检验和模型学习。在安装 SIRIUS 时，可以选择不依赖于 Costa。以下是一些步骤：

1. 下载 SIRIUS 的源代码和依赖库，可以从 SIRIUS 的官方网站下载。

2. 解压缩源代码和依赖库到同一个目录下。

3. 打开 Eclipse 或其他 Java IDE，创建一个新项目。

4. 将解压缩后的 SIRIUS 源代码添加到项目中。

5. 将所有的依赖库添加到项目中。

6. 在项目中创建一个新的 Java 类，用于测试 SIRIUS 的功能。

7. 编写测试代码，并运行它。

8. 如果运行成功，则说明 SIRIUS 已经安装成功，而且没有依赖于 Costa。

需要注意的是，如果不依赖于 Costa，一些功能可能会受到限制。如果需要完整的功能，建议还是安装 Costa。