首页 文章

合金和合金*

提问于
浏览 1536
1

我上周阅读了关于Alloy *的论文,这对我来说似乎很有趣,而且整合高阶量词的事实将有助于我完成我的工作 . 但我想知道它仍然是一个正在进行的项目,如果我可以继续使用合金分析器UI的那个版本并且它是否稳定?

1 回答

  • 1

    Alloy *项目目前尚未积极开发 . 然而,它是稳定的,其他研究人员正在利用它来进行自己的研究 .

    你可以从http://alloy.mit.edu/alloy/hola/获得它(包括来源) .

    如果您在编译/使用它时需要进一步的帮助,请随时直接与我联系 .

相关问题