Tarafından Programlar s-sat.sf.net
-
S-SAT - Sapienza SAT Ücret -siz
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).
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).