标签： java interface alloy sat
我正在编写一个需要在模型上调用Alloy的程序，并在返回的实例上执行某些操作。问题是每次调用Alloy命令时都会打开Alloy接口。我想知道无论如何我们都可以在没有打开接口的情况下从Java代码调用Alloy。
答案 0 :(得分：0)
看一下使用不调用Alloy GUI的Alloy API的一些示例：http://alloy.mit.edu/alloy/alloy-api-examples.html