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.
sürüm geçmişi
- Sürüm release tarihinde gönderildi 2010-04-24
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2010-04-24
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: xml-sat.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: linux