合金
Alloy 6是一个自包含的可执行文件，其中包括Kodkod模型查找器的扩展版本和各种SAT求解器，以及标准的Alloy库和一系列教程示例。 可以将相同的jar文件合并到其他应用程序中，以将Alloy用作API，并包含源代码。 有关新功能的详细信息，请参见发行说明。
有关更多文档，请访问： ： 。
要求
Alloy可以在具有最新JVM（Java 6或更高版本）的所有操作系统上运行。 它既可以作为可运行的jar文件使用，也可以与跨平台的SAT求解器（ 和更有效的本机SAT求解器（ ， ，）一起使用。
但是请注意，从macOS High Sierra开始，必须安装专用的JVM才能在macOS上运行Alloy。 为此提供了一个.pkg文件。
TL; DR
签出项目并键入./gradlew build 。 构建完成后，您可以在org.alloytools.alloy.dist
评论0
最新资源