Roma'daki University "La Sapienza" dimacs dosyalarını okuyabilir ve herhangi bir uzunluktaki cnf formüllerini işleyebilir (literal sayısı üzerinde herhangi bir kısıtlama yoktur).
sürüm geçmişi
- Sürüm s-sat06.beta1 tarihinde gönderildi 2009-02-14
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm s-sat06.beta1 tarihinde gönderildi 2009-02-14
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: s-sat.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 06
- Platform: linux