Tarafından Programlar s-sat.sf.net

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).