从外部SAT求解器获取输出

Question

Alloy Analyzer提供“输出CNF到文件”选项，这意味着我可以将Alloy生成的约束发送到我最喜欢的SAT求解器。但是，如何将SAT结果传回Alloy，以便我可以看到解决方案？

Answer 1

不幸的是，没有。我同意有这个选择是有用的。