Ausgabe von externem SAT-Solver

Question

Der Alloy Analyzer bietet die Option "CNF in Datei ausgeben", was bedeutet, dass ich die von Alloy generierten Einschränkungen an meinen bevorzugten SAT-Solver senden kann. Aber wie kann ich das SAT-Ergebnis zurück an Alloy übertragen, damit ich die Lösung visualisieren kann?

Answer 1

Leider gibt es nicht. Ich stimme zu, dass es nützlich wäre, diese Option zu haben.