上周我读过关于Alloy *的论文，这对我来说似乎很有趣，而且整合高阶量词的事实将有助于我的工作。但我想知道它是否还在进行中，如果我可以继续使用合金分析器UI的那个版本并且它是否稳定？
答案 0 :(得分：1)
Alloy *项目目前尚未积极开发。然而，它是稳定的，其他研究人员正在利用它来进行自己的研究。
您可以从http://alloy.mit.edu/alloy/hola/获取（包括来源）。
如果您需要有关编译/使用它的进一步帮助，请随时与我联系。
答案 1 :(得分：1)
同时... ... Alloy（不是Alloy *）现在是Github上的开源项目：https://github.com/AlloyTools我们正在讨论也包括Alloy *