Alloy 和 Alloy*
Alloy and Alloy*
我上周阅读了关于 Alloy* 的论文，我觉得它很有趣，集成高阶量词的事实将帮助我完成我的工作。但我想知道它是否仍然是一个正在进行的项目，我是否可以继续开发 Alloy Analyzer UI 的那个版本并且它稳定吗？
Alloy* 项目目前未在积极开发中。但是，它很稳定，其他研究人员正在使用它来开展自己的研究。
您可以从 http://alloy.mit.edu/alloy/hola/ 获取它（包括来源）。
如果您需要有关 compiling/using 的进一步帮助，请随时直接与我联系。
同时... Alloy（不是 Alloy*）现在是 Github 上的开源项目：https://github.com/AlloyTools 我们正在讨论还包括 Alloy*
我上周阅读了关于 Alloy* 的论文，我觉得它很有趣，集成高阶量词的事实将帮助我完成我的工作。但我想知道它是否仍然是一个正在进行的项目，我是否可以继续开发 Alloy Analyzer UI 的那个版本并且它稳定吗？
Alloy* 项目目前未在积极开发中。但是，它很稳定，其他研究人员正在使用它来开展自己的研究。
您可以从 http://alloy.mit.edu/alloy/hola/ 获取它（包括来源）。
如果您需要有关 compiling/using 的进一步帮助，请随时直接与我联系。
同时... Alloy（不是 Alloy*）现在是 Github 上的开源项目：https://github.com/AlloyTools 我们正在讨论还包括 Alloy*