擅长:python、mysql、java
<p>几天前我的一个同事问了我同样的问题。在</p>
<p>我开发了一个基于Alloy API的小Java程序,该程序将指向给定Alloy模块的路径作为输入,分析输入模块(考虑遇到的第一个命令),并显示(作为输出)分析器是否为给定的模块和命令找到了可满足的实例。在</p>
<p>这里有一个链接到这个非常简单的程序。
<a href="https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0" rel="nofollow">https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0</a></p>
<p>希望有帮助</p>