外部SATソルバからの出力の取得

Question

Alloy Analyzerは、 "Output CNF to File"オプションを提供しています。これは、合金で生成された制約をお気に入りのSATソルバに送信できることを意味します。しかし、SATの結果をどのように合金に戻すことができるので、私は解決策を視覚化することができますか？

Answer 1

残念ながら存在しません。私はそのオプションを持つことが有用であることに同意します。