合金和合金*
[英]Alloy and Alloy*
问题描述
I have read the paper about Alloy* last week and it seemed very interesting to me and the fact of integrating higher-order quantifiers will help me with my work.
我上周阅读了有关 Alloy* 的论文，对我来说似乎很有趣，并且集成高阶量词的事实将有助于我的工作。 But I want to know is it is still an on going project and if I could keep on working on there version of the Alloy Analyser UI and is it stable ?但我想知道它是否仍然是一个正在进行的项目，如果我可以继续研究 Alloy Analyzer UI 的那个版本，它是否稳定？
2 个解决方案
解决方案1
1 已采纳 2017-03-07 20:06:00
The Alloy* project is currently not under active development. Alloy* 项目目前未处于积极开发阶段。 It is, however, stable, and other researchers are using it to carry out their own research.然而，它是稳定的，其他研究人员正在使用它来进行他们自己的研究。
You can get it (including sources) from http://alloy.mit.edu/alloy/hola/ .您可以从http://alloy.mit.edu/alloy/hola/获得它（包括来源）。
Feel free to contact me directly if you need further help with compiling/using it.如果您在编译/使用方面需要进一步帮助，请随时直接与我联系。
解决方案2
1 2019-10-28 17:24:40
与此同时...... Alloy（不是 Alloy*）现在是 Github 上的一个开源项目： https : //github.com/AlloyTools我们正在讨论的还包括 Alloy*
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.