Tarafından Programlar xml-sat.sf.net

Minisat tabanlı modüler bir SAT çözücü. Modüller, perl komut dosyası yla işlenen XML dosyalarında açıklanmıştır; böylece n-çözücüler oluşturur.