从外部 SAT 求解器获取输出

Question

Alloy 分析器提供了一个 "Output CNF to File" 选项，这意味着我可以将 Alloy 生成的约束发送到我最喜欢的 SAT 求解器。但是我怎样才能将 SAT 成绩传回 Alloy，以便我可以看到解决方案？

Answer 1

遗憾的是没有。我同意拥有该选项会很有用。