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
Modele Alaşımı çağırması gereken bir program yazıyorum ve döndürülen örnekte bir şeyler yapıyorum. Sorun şu ki, Alaşım arayüzü her zaman Alaşımlı komut çağrılıyor. Yine de merak ediyorum, ara yüz açıl