Harici SAT çözücüsünden çıktı alma

Question

Alaşım Analizörü, "Dosyaya Çıktısı CNF" seçeneği sunar; bu, Alaşım tarafından üretilen kısıtlamaları en sevdiğim SAT çözücüye gönderebileceğim anlamına gelir. Ancak SAT sonucunu tekrar Alaşım'a nasıl aktarabilirim, böylece çözümü görselleştirebilirim?

Answer 1

Ne yazık ki yoktur. Bu seçeneğe sahip olmanın faydalı olacağını kabul ediyorum.