![](/statics/img/blank.png)
RedSam
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.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 RedSam
Problemy z rozwiązywaniem problemów z ograniczeniami ograniczeń binarnych, pliki wejściowe w formacie XML w bieżącym formacie XCSP 2.1, przyjęte dla konkurencji solver 2008 CSP/MaxCSP/WCSP. Solver jest w języku C++ i korzysta z biblioteki boost