S-SAT - Sapienza SAT 06
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 3.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O S-SAT - Sapienza SAT
Podczas kursu na Uniwersytecie & La Sapienza & w Rzymie opracowałem w pełni działający solver SAT oparty na propagacji jednostki i wycofywaniu; może odczytywać pliki DIMACS i przetwarzać formuły cnf o dowolnej długości (nie ma ograniczeń co do liczby literałów).