Alloy是用于描述结构（structure）的语言，也是探索结构的工具。从发现安全机制的漏洞到设计电话交换网络，它已被广泛用于各种应用中。
Alloy4是一个自包含的可执行文件，其中包括Kodkod模型查找器和各种SAT解算器，以及标准的Alloy库和一系列教程示例。可以将相同的jar文件合并到其他应用程序中，以将Alloy用作API，并包含源代码。
要求：
Alloy在使用最新JVM（Java6或更高版本）的所有操作系统上运行。它可以与跨平台SAT求解器（Sat4j和更有效的本机SAT求解器（minisat，lingeling/plingeling，glucose）一起作为可运行的jar文件使用。
但是请注意，从macOSHighSierra开始，必须安装专用的JVM才能在macOS上运行Alloy。为此提供了一个.pkg文件。
评论