问题描述
我使用以下命令对Alloy运行预测:
java -cp.alloytools.alloy.dist.jar edu.mit.csail.sdg.alloy4whole.ExampleUsingTheCompiler out.als
此行使用SAT4j求解器。我想使用“ Minisat with unsat Core”求解器来查看我的规范所违反的事实。
这有可能吗?
提前谢谢
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)