【发布时间】：2017-03-06 08:37:51
【问题描述】：
上周我阅读了有关 Alloy* 的论文，我觉得这很有趣，集成高阶量词的事实将有助于我的工作。但我想知道它是否仍然是一个正在进行的项目，我是否可以继续开发 Alloy Analyzer UI 的那个版本，它是否稳定？
【问题讨论】：
标签： alloy
【发布时间】：2017-03-06 08:37:51
【问题描述】：
Alloy* 项目目前尚未积极开发。但是，它是稳定的，其他研究人员正在使用它进行自己的研究。
您可以从http://alloy.mit.edu/alloy/hola/ 获得它（包括来源）。
如果您在编译/使用方面需要进一步帮助，请随时直接与我联系。
【讨论】：
-
谢谢你的回答！！我也收到了您对我的电子邮件的答复！
与此同时...Alloy（不是 Alloy*）现在是 Github 上的一个开源项目：https://github.com/AlloyTools 我们正在讨论还包括 Alloy*
【讨论】：