对于 Alloy 分析器的实例

for the instance of Alloy analyzer

我要转移实例 alloy analyzer.in 换句话说

如何将txt格式输出为文件?

因为我要开发一个调用这个文件的软件

可以使用 Alloy 分析器 GUI 和 Alloy API.

将实例保存为 XML 文件

如果您有兴趣使 Alloy 实例的 XML 表示更易于阅读,您可以指定一个转换(例如在 xslt 中),以按照您认为合适的方式格式化数据.

玩得开心:+)